1667 search results - page 135 / 334 » Extended clause learning |
155
click to vote
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
160
click to vote
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
141
click to vote
CPAIOR
2006
Springer
15 years 8 months ago
2006
Springer
We show that various duals that occur in optimization and constraint satisfaction can be classified as inference duals, relaxation duals, or both. We discuss linear programming, su...
144
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
We describe ViCoS, a tool for constructing and visualising conceptual spaces in the area of language documentation. ViCoS allows users to enrich existing lexical information about ...
151
Voted
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
Edge detection is one of the most studied problems in computer vision, yet it remains a very challenging task. It is difficult since often the decision for an edge cannot be made ...