2 search results - page 1 / 1 » Conflict Directed Backjumping for Max-CSPs |
39
Voted
IJCAI
2007
15 years 1 months ago
2007
106
click to vote
CP
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Lazy clause generation is a powerful hybrid approach to combinatorial optimization that combines features from SAT solving and finite domain (FD) propagation. In lazy cla...