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