611 search results - page 9 / 123 » The Cardinality Matrix Constraint |
CP
2007
Springer
15 years 3 months ago
2007
Springer
Motivated by the performance improvements made to SAT solvers in recent years, a number of different encodings of constraints into SAT have been proposed. Concrete examples are th...
STACS
2007
Springer
15 years 3 months ago
2007
Springer
: If you can round {0, 1 2} vectors nicely, then all rational vectors.
ICDE
1994
IEEE
15 years 1 months ago
1994
IEEE
64
Voted
SEBD
2001
14 years 11 months ago
2001
76
Voted
IPL
2008
14 years 9 months ago
2008
Max-SAT-CC is the following optimization problem: Given a formula in CNF and a bound k, find an assignment with at most k variables being set to true that maximizes the number of ...