1. A computer readable media having instructions stored thereon that, when executed by a processor, causes the processor to solve a constraint satisfaction problem (CSP), the instructions comprising: receiving a first user decision; propagating the first user decision over a CSP network; determining a conflict based on the propagation; and resolving the conflict by interactively allowing a user to cancel the first user decision or drop one or more previous user decisions.