Open Access. Powered by Scholars. Published by Universities.®
Social and Behavioral Sciences Commons™
Open Access. Powered by Scholars. Published by Universities.®
- File Type
Articles 1 - 2 of 2
Full-Text Articles in Social and Behavioral Sciences
Resolution And The Integrality Of Satisfiability Problems, John Hooker
Resolution And The Integrality Of Satisfiability Problems, John Hooker
John Hooker
No abstract provided.
Branching Rules For Satisfiability, John N. Hooker, V. Vinay
Branching Rules For Satisfiability, John N. Hooker, V. Vinay
John Hooker
Recent experience suggests that branching algorithms are among the most attractive for solving propositional satisfiability problems. A key factor in their success is the rule they use to decide on which variable to branch next. We attempt to explain and improve the performance of branching rules with an empirical model-building approach. One model is based on the rationale given for the Jeroslow-Wang rule, variations of which have performed well in recent work. The model is refuted by carefully designed computational experiments. A second model explains the success of the Jeroslow-Wang rule, makes other predictions confirmed by experiment, and leads to …