swMATH ID: 4648
Software Authors: Whittemore J, Kim J, Sakallah K
Description: SATIRE: A new incremental satisfiability engine. We introduce SATIRE, a new satisfiability solver that is particularly suited to verification and optimization problems in electronic design automation. SATIRE builds on the most recent advances in satisfiability research, and includes two new features to achieve even higher performance: a facility for incrementally solving sets of related problems, and the ability to handle non-CNF constraints. We provide experimental evidence showing the effectiveness of these additions to classical satisfiability solver
Homepage: http://www.cecs.uci.edu/~papers/compendium94-03/papers/2001/dac01/pdffiles/33_3.pdf
Related Software: Chaff; MiniSat; BerkMin; SATO; SATORI; PicoSAT; Sat4j; NuSMV; PBS; Velev SAT Benchmarks; Pueblo; SMT-LIB; CBMC; SystemC; Boolector; ICS; AMUSE; z3; UnitWalk; SPIN
Referenced in: 36 Publications

Referencing Publications by Year