Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages.

Jean-Marc Bo, Antoine Rauzy

Browse the full AIMSA paper archive.