Constraint Satisfaction from a Deductive Viewpoint


This paper reports the result o f testing the author's proof techniques on the class of constraint satisfaction problems (CSPs). This experiment has been successful in the sense that a completely general proof technique turns out to behave well also for this special class o f problems which itself has received considerable attention in the community. So, at… (More)
DOI: 10.1016/0004-3702(88)90023-9