• DepQBF

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

• MathCheck

• Referenced in 12 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...

• MapleCOMSPS

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

• satUZK

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

• MapleCOMSPS_LRB

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

• Scavenger

• Referenced in 3 articles [sw23945]
• first-order generalization of) conflict-driven clause 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...

• FourierSAT

• Referenced in 1 article [sw40459]
• engineering side—especially that of Conflict-Driven Clause Learning (CDCL) and Local Search SAT solvers...

• MapleAmpharos

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

• MetiTarski

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

• MiniSat

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

• Pueblo

• Referenced in 33 articles [sw00743]
• This paper introduces a new hybrid method for...

• SCIP

• Referenced in 536 articles [sw01091]
• SCIP is currently one of the fastest non...

• OTTER

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

• VAMPIRE

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

• CPLEX

• Referenced in 2766 articles [sw04082]
• IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

• SPASS

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

• TPTP

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