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

Author： Hirsch Edward A.  

Publisher： Springer Publishing Company

ISSN： 1012-2443

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

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

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

Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT

By Cocco Simona  

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

Springer Publishing Company

Access to resources Recommend Favorite

Restarts and Exponential Acceleration of the Davis–Putnam–Loveland–Logemann Algorithm: A Large Deviation Analysis of the Generalized Unit Clause Heuristic for Random 3-SAT

By Cocco Simona  

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

Springer Publishing Company

Access to resources Recommend Favorite

New pump integrated unit for heating

By  

World Pumps, Vol. 2002, Iss. 428, 2002-05 ,pp. : 11-11

Elsevier

Access to resources Recommend Favorite

A New Morera-Type Theorem on a Unit Disk

By Silenko V.E.  

Ukrainian Mathematical Journal, Vol. 53, Iss. 2, 2001-02 ,pp. : 317-322

Springer Publishing Company

Access to resources Recommend Favorite