
DepQBF
 Referenced in 31 articles
[sw09734]
 with conflictdriven clause and solutiondriven cube learning. By analyzing the structure...

MathCheck
 Referenced in 11 articles
[sw13642]
 inner loop of a conflictdriven clauselearning SAT solver. SAT+CAS systems...

Lynx
 Referenced in 10 articles
[sw13643]
 domainspecific code into modern conflictdriven clauselearning (CDCL) SAT solvers, thus enabling users...

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

Scavenger
 Referenced in 3 articles
[sw23945]
 firstorder generalization of) conflictdriven clause learning...

MapleCOMSPS
 Referenced in 3 articles
[sw31642]
 solvers is a family of conflictdriven clauselearning SAT solvers outfitted with machine learning...

SATGraf
 Referenced in 3 articles
[sw14761]
 being processed by a conflictdriven clauselearning (CDCL) solver. The tool is parametric, allowing...

MapleSAT
 Referenced in 2 articles
[sw25918]
 solvers is a family of conflictdriven clauselearning SAT solvers outfitted with machine learning...

MapleCOMSPS_LRB
 Referenced in 1 article
[sw31643]
 solvers is a family of conflictdriven clauselearning SAT solvers outfitted with machine learning...

MapleAmpharos
 Referenced in 1 article
[sw25920]
 worker conflictdriven clauselearning 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 SATsolver. 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 highperformance theorem prover being...