25 search results - page 1 / 5 » cp 2001 |
CP
2001
Springer
13 years 9 months ago
2001
Springer
CP
2001
Springer
13 years 9 months ago
2001
Springer
CP
2001
Springer
13 years 9 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 10 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 9 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...