• 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 off-the-shelf 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...
  • KL-ONE

  • 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 SAT-based 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 meta-programming 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 well-known linear programming techniques to non-propositional 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 T-literals, where ... first-order 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 ... well-defined 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 SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 625 articles [sw00611]
  • graph-theoretic 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 high-performance 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 object-oriented 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 state-based, BDD-based satisfiability solver...