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

Author： Cocco Simona  

Publisher： Springer Publishing Company

ISSN： 1012-2443

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

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

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

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

Large Deviation Probabilities for Random Walks with Semiexponential Distributions

By Borovkov A.A.  

Siberian Mathematical Journal, Vol. 41, Iss. 6, 2000-11 ,pp. : 1061-1093

Springer Publishing Company

Access to resources Recommend Favorite

Exponential Moments of Solutions for Nonlinear Equations with Catalytic Noise and Large Deviation

By Dôku I.  

Acta Applicandae Mathematicae, Vol. 63, Iss. 1-3, 2000-09 ,pp. : 101-117

Springer Publishing Company

Access to resources Recommend Favorite