Schuurmans, D., & Southey, F. (2001). Local search characteristics of incomplete SAT procedures. Artificial Intelligence, 132(2), 121--150. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Scaling and Probabilistic Smoothing: Dynamic Local Search for .. - Tompkins, Hoos (2003) (Correct)
Scaling and Probabilistic Smoothing: Efficient Dynamic.. - Hutter, Tompkins, Hoos (2002) (1 citation) (Correct)
Multiagent SAT (MASSAT): Autonomous Pattern Search in.. - Jin, Liu (Correct)
Agent Network Topology and Complexity - Jin, Liu (2003) (Correct)
Agent Network Topology and Complexity - Jin, Liu (2003) (Correct)
Constraint Satisfaction By Local Search - Bohlin (2002) (Correct)
UnitWalk: A new SAT solver that uses local search guided by .. - Hirsch, Kojevnikov (2001) (4 citations) (Correct)
SLS Algorithms for SAT: Irregular Instances, Search Stagnation.. - Hoos (2002) (Correct)
UnitWalk: A new SAT solver that uses local search guided by .. - Hirsch, Kojevnikov (2002) (4 citations) (Correct)
UnitWalk: A new SAT solver that uses local search guided by .. - Hirsch, Kojevnikov (2001) (4 citations) (Correct)
UnitWalk: A new SAT solver that uses local search guided by .. - Hirsch, Kojevnikov (2001) (4 citations) (Correct)
Principles of Efficient Inference - Kautz (2001) (Correct)
An Empirical Analysis of Weight-Adaptation Strategies for.. - Alexander Nareyek Gmd (2001) (2 citations) (Correct)
Linking Search Space Structure, Run-Time Dynamics, and.. - Watson, Whitley, Howe (2004) (Correct)
Backbone Guided Dynamic Local Search for Propositional.. - Ferreira Jr. (Correct)
A Two Level Local Search for MAX-SAT - Problems With Hard (2002) (Correct)
Warped Landscapes and Random Acts of SAT Solving - Dave Tompkins And (2004) (1 citation) (Correct)
Scaling and Probabilistic Smoothing: Efficient Dynamic.. - Hutter, Tompkins, Hoos (2002) (1 citation) (Correct)
Warped Landscapes and Random Acts of SAT Solving - Dave Tompkins And (2004) (1 citation) (Correct)
The Exponentiated Subgradient Algorithm for Heuristic.. - Schuurmans, Southey.. (2001) (12 citations) Self-citation (Schuurmans Southey) (Correct)
The Exponentiated Subgradient Algorithm for Heuristic.. - Schuurmans, Southey.. (2001) (12 citations) Self-citation (Schuurmans Southey) (Correct)
The Exponentiated Subgradient Algorithm for Heuristic.. - Schuurmans, Southey.. (2001) (12 citations) Self-citation (Schuurmans Southey) (Correct)
Local search characteristics of incomplete SAT procedures - Schuurmans, Southey (2000) (19 citations) Self-citation (Schuurmans Southey) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC