Compiling constraint satisfaction problems
- 31 December 1999
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 115 (2) , 257-287
- https://doi.org/10.1016/s0004-3702(99)00077-6
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Refining the phase transition in combinatorial searchArtificial Intelligence, 1996
- Foundations of Constraint Satisfaction.Journal of the Operational Research Society, 1995
- Experimental evaluation of preprocessing algorithms for constraint satisfaction problemsArtificial Intelligence, 1994
- Decomposing constraint satisfaction problems using database techniquesArtificial Intelligence, 1994
- Partitioning of unstructured problems for parallel processingComputing Systems in Engineering, 1991
- Tree clustering for constraint networksArtificial Intelligence, 1989
- Network-based heuristics for constraint-satisfaction problemsArtificial Intelligence, 1987
- An assumption-based TMSArtificial Intelligence, 1986
- Synthesizing constraint expressionsCommunications of the ACM, 1978
- Networks of constraints: Fundamental properties and applications to picture processingInformation Sciences, 1974