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

ISSN： 1012-2443

Source： Annals of Mathematics and Artificial Intelligence, Vol.43, Iss.1, 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 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

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

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