3 search results - page 1 / 1 » Let the Solver Deal with Redundancy |
64
Voted
ICTAI
2008
IEEE
15 years 4 months ago
2008
IEEE
Handling redundancy in propositional reasoning and search is an active path of theoretical research. For instance, the complexity of some redundancy-related problems for CNF formu...
CONSTRAINTS
2007
14 years 9 months ago
2007
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
CL
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...