17 search results - page 4 / 4 » Merging Qualitative Constraints Networks Using Propositional... |
CONSTRAINTS
2010
13 years 8 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
CP
2003
Springer
14 years 4 months ago
2003
Springer
For the last ten years, a significant amount of work in the constraint community has been devoted to the improvement of complete methods for solving soft constraints networks. We ...