
SATO
 Referenced in 196 articles
[sw04451]
 major practical methods for the satisfiability (SAT) problem of propositional logic. In the last decade...

Chaff
 Referenced in 574 articles
[sw06916]
 efficient SAT solver. Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant ... provide practical solutions to this problem for problem instances encountered in a range of applications ... culminated in the development of several SAT packages, both proprietary and in the public domain...

Sat4j
 Referenced in 75 articles
[sw07283]
 solving boolean satisfaction and optimization problems. It can solve SAT, MAXSAT, PseudoBoolean, Minimally Unsatisfiable ... fastest one to solve those problems (a SAT solver in Java is about 3.25 times...

SATLIB
 Referenced in 58 articles
[sw02107]
 benchmark problems, solvers, and tools we are using for our own SAT related research ... well as a site for collecting SAT problem instances, algorithms, and empirical characterisations...

zChaff
 Referenced in 37 articles
[sw04757]
 CHAFF, an algorithm for solving satisfiability (SAT) problems. It won the Best Complete Solver ... industrial and handmade benchmark categories in the SAT 2002 Competition, and the Best Complete Solver...

VerICS
 Referenced in 33 articles
[sw02011]
 satisfiability problem of propositional formulas (SATproblem) is used. For proving correctness...

Zchaff2004
 Referenced in 21 articles
[sw01032]
 Boolean Satisfiability Problem (SAT) is a well known NPcomplete problem. While its complexity remains ... problem has found many practical applications in recent years. The emergence of efficient SAT solvers...

NiVER
 Referenced in 18 articles
[sw06958]
 instances. The original algorithm for the SAT problem, Variable Elimination Resolution, has exponential space complexity ... used in SAT solvers. We present a combination of two techniques: we use NiVER ... then solve the simplified problem using a DPLL SAT solver. NiVER is a strictly formula...

SATenstein
 Referenced in 17 articles
[sw14233]
 search SAT solvers from components. Designing highperformance solvers for computationally hard problems ... solvers for the propositional satisfiability problem (SAT). We first introduce a generalized, highly parameterized solver...

CCLS
 Referenced in 16 articles
[sw36049]
 Maximum Satisfiability. The maximum satisfiability (MAXSAT) problem, especially the weighted version, has extensive applications...

UnitWalk
 Referenced in 35 articles
[sw00993]
 randomized algorithm for SAT, i.e., the satisfiability problem for Boolean formulas in conjunctive normal form ... many common benchmarks ranging from graph coloring problems to microprocessor verification. Our algorithm is inspired ... local search (which is used in many SAT algorithms, e.g., in GSAT and WalkSAT...

Sugar
 Referenced in 26 articles
[sw09758]
 Sugar is a SATbased Constraint Solver. Constraint Satisfaction Problem (CSP) is encoded ... external SAT solver. Sugar also can solve Constraint Optimization Problems (COP) and MaxCSP. Sugar...

CCASat
 Referenced in 12 articles
[sw12924]
 search strategies for the Boolean Satisfiability (SAT) problem. We start by proposing a local search...

LPG
 Referenced in 12 articles
[sw20690]
 solve both plan generation and plan adaptation problems. The basic search scheme ... Walksat, an efficient procedure to solve SATproblems. The search space of LPG consists...

Proteus
 Referenced in 9 articles
[sw10080]
 recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common. There ... different encodings for representing CSPs as SAT instances. In this paper, we leverage advances ... best to encode a CSP problem instance into SAT, selecting an appropriate encoding ... encodings, and six SAT solvers, evaluated on the most challenging problem instances from...

ChainSAT
 Referenced in 9 articles
[sw09444]
 descent prevails in solving random constraint satisfaction problems. We study the performance of stochastic local ... instances of the Ksatisfiability (KSAT) problem. We present a stochastic local search algorithm ... moves in the energy landscape of a problem instance by never going upwards in energy ... other focused algorithms solve large KSAT instances almost surely in linear time...

versat
 Referenced in 9 articles
[sw08417]
 empirical evaluation that versat can solve SAT problems on the modern scale...

SATzilla
 Referenced in 86 articles
[sw06281]
 constructing perinstance algorithm portfolios for SAT that use socalled empirical hardness models ... approach takes as input a distribution of problem instances and a set of component solvers ... SATzilla was independently verified in the 2007 SAT Competition, where our SATzilla07 solvers won three...

ModGen
 Referenced in 6 articles
[sw21347]
 other researchers so that the SAT problems can be easily represented, stored and communicated ... easily replaced by any advanced SAT problem solver. ModGen is easy to use and very...

PySAT
 Referenced in 6 articles
[sw25459]
 prototyping with SAT oracles. Boolean satisfiability (SAT) solvers are at the core of efficient approaches ... solving a vast multitude of practical problems ... Moreover, albeit targeting an NPcomplete problem, SAT solvers are increasingly used for tackling problems ... with SAT and more importantly implementing SATbased problem solving solutions is often a difficult...