
QUBOS
 Referenced in 25 articles
[sw09580]
 QUBOS: Deciding quantified Boolean logic using propositional satisfiability solvers. We describe QUBOS (QUantified BOolean Solver ... techniques that reduce formulae to a propositional clausal form after which offtheshelf satisfiability...

Ltur
 Referenced in 40 articles
[sw11689]
 implementation. Testing for the satisfiability of a Horn expression in propositional calculus is a fundamental ... fact that the basic solution techniques for propositional Horn formulae have been shown...

KLONE
 Referenced in 41 articles
[sw28891]
 important reasoning problems (like subsumption and satisfiability) in a great variety of description logics ... related to propositional modal logics and logics of programs (such as propositional dynamic logic ... algorithms in description logics led to new techniques and results, which are, however, also...

SAT competition
 Referenced in 8 articles
[sw04623]
 promote new solvers for the propositional satisfiability problem (SAT) as well as to compare them ... strongly encourage people thinking about SATbased techniques in their area (planning, hardware or software...

plasp
 Referenced in 10 articles
[sw07080]
 approach is inspired by Planning as Satisfiability, yet it aims at keeping the actual compilation ... simple in favor of modeling planning techniques by metaprogramming in ASP. This has several ... advantage of available ASP grounders to obtain propositional representations. Third, we can harness ASP solvers...

Pronto
 Referenced in 3 articles
[sw14757]
 describe in detail the novel probabilistic satisfiability (PSAT) algorithm which lies at the heart ... architecture. Its key difference from previously developed (propositional) PSAT algorithms is its interaction with ... first, enables applying wellknown linear programming techniques to nonpropositional PSAT and, second...

SymChaff
 Referenced in 6 articles
[sw00938]
 representing and utilizing problem symmetry in propositional satisfiability algorithms. While many previous approaches have focused ... diagrams. We demonstrate the efficacy of our technique through a solver called SymChaff, which achieves...

TSAT++
 Referenced in 3 articles
[sw21350]
 problem of determining satisfiability of a propositional combination of Tliterals, where ... firstorder theory for which a satisfiability procedure for a set of ground atoms ... satisfiability checker cooperate in order to solve SMT. Modularity allows both different enumerators, and satisfiability ... welldefined interface. A number of optimization techniques are also implemented in TSAT++, which...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 625 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

Paramils
 Referenced in 87 articles
[sw00678]
 Paramils: an automatic algorithm configuration framework. The identification...

SETHEO
 Referenced in 122 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...

PSPLIB
 Referenced in 277 articles
[sw00740]
 PSPLIB  a project scheduling problem library. We present...

Pueblo
 Referenced in 34 articles
[sw00743]
 This paper introduces a new hybrid method for...

QOCA
 Referenced in 30 articles
[sw00756]
 We describe an objectoriented constraint solving toolkit...

REDUCE
 Referenced in 746 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

SBSAT
 Referenced in 10 articles
[sw00828]
 SBSAT: a statebased, BDDbased satisfiability solver...