• DepQBF

  • Referenced in 31 articles [sw09734]
  • with conflict-driven clause and solution-driven cube learning. By analyzing the structure...
  • MathCheck

  • Referenced in 11 articles [sw13642]
  • inner loop of a conflict-driven clause-learning SAT solver. SAT+CAS systems...
  • Lynx

  • Referenced in 10 articles [sw13643]
  • domain-specific code into modern conflict-driven clause-learning (CDCL) SAT solvers, thus enabling users...
  • satUZK

  • Referenced in 4 articles [sw18570]
  • solver description. satUZK is a conflict-driven clause learning solver for the boolean satisfiability problem...
  • Scavenger

  • Referenced in 3 articles [sw23945]
  • first-order generalization of) conflict-driven clause learning...
  • MapleCOMSPS

  • Referenced in 3 articles [sw31642]
  • solvers is a family of conflict-driven clause-learning SAT solvers outfitted with machine learning...
  • SATGraf

  • Referenced in 3 articles [sw14761]
  • being processed by a conflict-driven clause-learning (CDCL) solver. The tool is parametric, allowing...
  • MapleSAT

  • Referenced in 2 articles [sw25918]
  • solvers is a family of conflict-driven clause-learning SAT solvers outfitted with machine learning...
  • MapleCOMSPS_LRB

  • Referenced in 1 article [sw31643]
  • solvers is a family of conflict-driven clause-learning SAT solvers outfitted with machine learning...
  • MapleAmpharos

  • Referenced in 1 article [sw25920]
  • worker conflict-driven clause-learning solvers to the number of times they are branched...
  • MetiTarski

  • Referenced in 51 articles [sw00573]
  • Many inequalities involving the functions ln, exp, sin...
  • MiniSat

  • Referenced in 546 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • VAMPIRE

  • Referenced in 239 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • SPASS

  • Referenced in 178 articles [sw04108]
  • SPASS is an automated theorem prover for first...
  • TPTP

  • Referenced in 381 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Darwin

  • Referenced in 25 articles [sw04175]
  • Darwin is an automated theorem prover for first...
  • Yices

  • Referenced in 141 articles [sw04436]
  • Yices is an efficient SMT solver that decides...
  • SATO

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • z3

  • Referenced in 514 articles [sw04887]
  • Z3 is a high-performance theorem prover being...