Kim Marriott Peter Moulder Peter J. Stuckey Alan Borning Solving Disjunctive Constraints for Interactive Graphical Applications. 361-376 2001 conf/cp/2001 CP http://link.springer.de/link/service/series/0558/bibs/2239/22390361.htm db/conf/cp/cp2001.html#MarriottMSB01