31 search results - page 7 / 7 » Analyzing Walksat on random formulas |
183
click to vote
AI
2008
Springer
15 years 5 months ago
2008
Springer
We make a number of contributions to the study of the Quantified Constraint Satisfaction Problem (QCSP). The QCSP is an extension of the constraint satisfaction problem that can b...