25 search results - page 1 / 5 » cp 2001 |
CP
2001
Springer
13 years 10 months ago
2001
Springer
CP
2001
Springer
13 years 10 months ago
2001
Springer
CP
2001
Springer
13 years 10 months ago
2001
Springer
This paper presents a survey of the use of resolution in propositional satisfiability, and some preliminary results from the implementation of a hybrid resolution and search algor...
ICCS
2004
Springer
13 years 11 months ago
2004
Springer
We have upgraded the Conceptual Programming Environment (CP) from a single standalone application to a set of component modules to increase flexibility of the environment and to a...
CP
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. Applying GAC on conjunctions of constraints can lead to more powerful pruning [1]. We show that there exists a simple heuristic for deciding which constraints might be us...