121 search results - page 25 / 25 » Adaptive Application of SAT Solving Techniques |
90
Voted
STOC
2004
ACM
15 years 12 months ago
2004
ACM
We present a probabilistic analysis for a large class of combinatorial optimization problems containing, e.g., all binary optimization problems defined by linear constraints and a...