Basic Operators for Solving Constraints via Collaboration of Solvers

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-44990-6_11 ◽

2001 ◽

pp. 142-156 ◽

Author(s):

Carlos Castro ◽

Eric Monfroy

Download Full-text