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

Chaff
 Referenced in 561 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 72 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 57 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 35 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 31 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...

UnitWalk
 Referenced in 34 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...

Proteus
 Referenced in 10 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...

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...

Sugar
 Referenced in 25 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 10 articles
[sw12924]
 search strategies for the Boolean Satisfiability (SAT) problem. We start by proposing a local search...

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

SATzilla
 Referenced in 84 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...

SAT competition
 Referenced in 8 articles
[sw04623]
 international SAT Competitions web page. The purpose of the competition is to identify new challenging ... solvers for the propositional satisfiability problem (SAT) as well as to compare them with state...

Pueblo
 Referenced in 29 articles
[sw00743]
 into generic SAT solvers in order to solve PB satisfiability and optimization problems. To achieve ... solving PB problems, namely integer linear programming and preprocessing to CNF SAT, and present...

MaxSolver
 Referenced in 20 articles
[sw01990]
 weighted maxSAT. Our experimental results on random problem instances and many instances from...