Artificial Intelligence · 2002 · 54 citations · 11 references
ComputingComputer ScienceAlgorithmsFormal MethodsProgramming LanguagesConstraint SatisfactionConstraint SolvingDeductive VerificationModel CheckingPredicate LogicVerificationConstraint PropagationConstraint VerificationForward Checking
11
Solomon W. Golomb, L. D. Baumert · Journal of the ACM · 1965 · 485 citations · Full text
Refining the Basic Constraint Propagation Algorithm.
Christian Bessière, Jean-Charles Régin · 2001 · 158 citations