
Logic Calculator
 Referenced in 0 articles
[sw27083]
 formula to Disjunctive Normal Form (DNF) and Conjunctive Normal Form (CNF): displays ... representation of a given formula in both a DNF and CNF...

Lynx
 Referenced in 10 articles
[sw13643]
 specialized code for a class of Boolean formulas, which is periodically called by Lynx ... search, and to respond by adding CNF clauses back to the solver dynamically and incrementally...

LEOII
 Referenced in 51 articles
[sw00512]
 LEOII is a standalone, resolutionbased higher...

Maple
 Referenced in 5124 articles
[sw00545]
 The result of over 30 years of cutting...

MiniSat
 Referenced in 536 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

SETHEO
 Referenced in 119 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...

PolyBoRi
 Referenced in 45 articles
[sw00723]
 This work presents a new framework for Gröbner...

SATLIB
 Referenced in 57 articles
[sw02107]
 SATLIB is a collection of benchmark problems, solvers...

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

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

Walksat
 Referenced in 208 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to...

PBS
 Referenced in 38 articles
[sw04622]
 Reads as input both: CNF constraints, PB constraints...

zChaff
 Referenced in 36 articles
[sw04757]
 zChaff is an implementation of the well known...

JBool
 Referenced in 105 articles
[sw06185]
 This software promotes some general and useful tools...

SATCHMO
 Referenced in 96 articles
[sw06619]
 SATCHMO: a theorem prover implemented in Prolog. The...

Chaff
 Referenced in 570 articles
[sw06916]
 Chaff:engineering an efficient SAT solver. Boolean Satisfiability...

PicoSAT
 Referenced in 80 articles
[sw07092]
 PicoSAT essentials. We describe and evaluate optimized compact...

Sat4j
 Referenced in 75 articles
[sw07283]
 The Sat4j library, release 2.2 system description. Sat4j...

DIMACS
 Referenced in 530 articles
[sw08221]
 The DIMACS Implementation Challenges address questions of determining...

Ltur
 Referenced in 40 articles
[sw11689]
 LTUR: A simplified linear time unit resolution algorithm...