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