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