Open or Interactive Constraint Satisfaction Posted by Dave Clarke, at cstheory.stackexchange.com, 19 Oct 2010 In the past, I implemented coordination models using SAT and regular constraint satisfaction as the core workhorse in their…