Toward Leaner Binary-Clause Reasoning in a Satisfiability Solver

By Van Gelder Allen  

Annals of Mathematics and Artificial Intelligence, Vol. 43, Iss. 1-4, 2005-01 ,pp. : 239-253

Springer Publishing Company

Access to resources Recommend Favorite

Average case results for satisfiability algorithms under the random-clause-width model

By Franco J.   Swaminathan R.P.  

Annals of Mathematics and Artificial Intelligence, Vol. 20, Iss. 1-4, 1997-01 ,pp. : 357-391

Springer Publishing Company

Access to resources Recommend Favorite

Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances

By Maaren Hans  

Annals of Mathematics and Artificial Intelligence, Vol. 44, Iss. 1-2, 2005-05 ,pp. : 157-177

Springer Publishing Company

Access to resources Recommend Favorite

UnitWalk: A new SAT solver that uses local search guided by unit clause elimination

By Hirsch Edward   Kojevnikov Arist  

Annals of Mathematics and Artificial Intelligence, Vol. 43, Iss. 1, 2005-01 ,pp. : 91-111

Springer Publishing Company

Access to resources Recommend Favorite

UnitWalk: A New SAT Solver that Uses Local Search Guided by Unit Clause Elimination

By Hirsch Edward A.  

Annals of Mathematics and Artificial Intelligence, Vol. 43, Iss. 1-4, 2005-01 ,pp. : 91-111

Springer Publishing Company

Access to resources Recommend Favorite