×

Found 185 Software Packages (Results 1–100)

Chaff

Software Authors:   Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S
Cited in: 544 Publications (2001–2022)
Related Software: MiniSat; BerkMin; SATO; Walksat; Siege; Velev SAT Benchmarks; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Mace4

Software Authors:   William McCune
Cited in: 231 Publications (1996–2022)
Related Software: Prover9; OTTER; TPTP; GAP; VAMPIRE; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

Walksat

Software Authors:   Bart Selman, Henry Kautz
Cited in: 207 Publications (1996–2022)
Related Software: Graphplan; Chaff; DIMACS; MiniSat; SATO; STAN; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

SATO

Software Authors:   Zhang, H
Cited in: 189 Publications (1996–2021)
Related Software: Chaff; BerkMin; PSATO; MiniSat; DIMACS; Walksat; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Yices

Software Authors:   B. Dutertre; L. de Moura
Cited in: 154 Publications (1992–2022)
Related Software: z3; SMT-LIB; CVC4; MiniSat; MathSAT5; cvc3; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

BerkMin

Software Authors:   Goldberg, Eugene; Novikov, Yakov
Cited in: 148 Publications (2002–2021)
Related Software: Chaff; MiniSat; SATO; Siege; Velev SAT Benchmarks; PicoSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CVC4

Software Authors:   Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanović, D., King, T., Reynolds, A., Tinelli, C.
Cited in: 148 Publications (2013–2023)
Related Software: z3; SMT-LIB; MathSAT5; Yices; VAMPIRE; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

clasp

Software Authors:   Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
Cited in: 96 Publications (2007–2021)
Related Software: Gringo; Clingo; WASP; MiniSat; ASSAT; iClingo; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

cvc3

Software Authors:   Clark Barrett, Cesare Tinelli, Chris Conway, Morgan Deters, Alexander Fuchs, Yeting Ge, George Hagen, Mina Jeong, Dejan Jovanovic, Tim King
Cited in: 78 Publications (2006–2021)
Related Software: z3; SMT-LIB; Yices; SIMPLIFY; Why3; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

COMET

Software Authors:   Michel, Laurent; See, Andrew; van Hentenryck, Pascal
Cited in: 75 Publications (2004–2021)
Related Software: CPLEX; Localizer; Gecode; SALSA; CSPLib; SCIP; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

CCalc

Software Authors:   Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
Cited in: 74 Publications (2003–2021)
Related Software: Smodels; Coala; GOLOG; PDDL; Society Visualiser; NuSMV; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Quaffle

Software Authors:   L. Zhang; S. Malik; SAT Research Group, Princeton University; Yinlei Yu
Cited in: 62 Publications (2003–2021)
Related Software: Chaff; QUBOS; DepQBF; MiniSat; semprop; Bloqqer; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Satallax

Software Authors:   Chad E. Brown; Andreas Teucke; Geoff Sutcliffe; Frank Theiß; Gert Smolka; Julian Backes; Chris Benzmüller
Cited in: 61 Publications (2010–2022)
Related Software: TPTP; Isabelle/HOL; LEO-II; E Theorem Prover; VAMPIRE; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Velev SAT Benchmarks

Software Authors:   Miroslav N. Velev
Cited in: 50 Publications (2000–2021)
Related Software: Chaff; SATO; MiniSat; BerkMin; DIMACS; Walksat; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

PolyBoRi

Software Authors:   Alexander Dreyer; Michael Brickenstein
Cited in: 48 Publications (2008–2021)
Related Software: SINGULAR; Magma; FGb; SageMath; CUDD; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX)

PSATO

Software Authors:   Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang
Cited in: 41 Publications (1996–2021)
Related Software: SATO; Chaff; MiniSat; ManySAT; Plingeling; Lingeling; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)

DRAT-trim

Software Authors:   Wetzler, Nathan; Heule, Marijn J.H.; Hunt, Warren A.Jr.
Cited in: 41 Publications (2014–2022)
Related Software: MiniSat; Isabelle/HOL; Lingeling; Coq; Plingeling; Treengeling; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Convex and discrete geometry (52-XX)

MAX-2-SAT

Software Authors:   Hirsch, Edward A.
Cited in: 41 Publications (2000–2017)
Related Software: Chaff; MaxSolver; CSDP; Walksat; MiniSat; SATO; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Probability theory and stochastic processes (60-XX)

KL-ONE

Software Authors:   Baader, Franz; Sattler, Ulrike
Cited in: 36 Publications (2001–2020)
Related Software: FaCT++; Racer; Pellet; MSPASS; E Theorem Prover; MetTeL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ltur

Software Authors:   Minoux, M.
Cited in: 39 Publications (1988–2020)
Related Software: Datalog; HgMUS; EL2MCS; XPath; JBool; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

SATIRE

Software Authors:   Whittemore J, Kim J, Sakallah K
Cited in: 36 Publications (2003–2021)
Related Software: Chaff; MiniSat; BerkMin; SATO; SATORI; PicoSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

UCPOP

Software Authors:   Penberthy, J. S.; Weld, D.
Cited in: 38 Publications (1993–2022)
Related Software: Graphplan; Prodigy; PDDL; VHPOP; SAPA; STAN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

zChaff

Software Authors:   Yogesh Mahajan
Cited in: 32 Publications (2003–2020)
Related Software: Chaff; MiniSat; BerkMin; SATO; Zchaff2004; Walksat; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)

UnitWalk

Software Authors:   Hirsch, Edward A.; Kojevnikov, Arist
Cited in: 32 Publications (2002–2021)
Related Software: Chaff; SATO; BerkMin; SatEx; QingTing1; Walksat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

veriT

Software Authors:   Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine
Cited in: 33 Publications (2011–2022)
Related Software: z3; CVC4; SMT-LIB; Coq; MathSAT5; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Real functions (26-XX)

Boolector

Software Authors:   Brummayer, Robert; Biere, Armin
Cited in: 33 Publications (2010–2022)
Related Software: z3; Yices; SMT-LIB; CVC4; STP; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

VerICS

Software Authors:   Zbrzezny, Andrzej; Wo\' zna, Bo\D zena
Cited in: 33 Publications (2005–2021)
Related Software: MCMAS; MCK; MOCHA; MCMAS-SLK; NuSMV; CUDD; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Oyster

Software Authors:   Horn, Christian; Smaill, Alan
Cited in: 32 Publications (1989–2021)
Related Software: CLAM; Nuprl; HOL; Isabelle; Coq; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Pueblo

Software Authors:   Sheini, Hossein M.; Sakallah, Karem A.
Cited in: 33 Publications (1998–2021)
Related Software: MiniSat; Chaff; Sat4j; PBS; PicoSAT; MaxSolver; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

CaDiCaL

Software Authors:   Biere, A.
Cited in: 28 Publications (2019–2022)
Related Software: Lingeling; Plingeling; Treengeling; YalSAT; MiniSat; Paracooba; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LoTREC

Software Authors:   Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Sahade, Mohamad
Cited in: 27 Publications (2001–2022)
Related Software: PVS; E Theorem Prover; MetTeL; MSPASS; TWB; TABLEAUX; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

QUBE

Software Authors:   Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Cited in: 26 Publications (2001–2018)
Related Software: QuBE++; Quaffle; Chaff; semprop; DepQBF; MiniSat; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)

LoLA

Software Authors:   Schmidt, Karsten; Wolf, K.
Cited in: 25 Publications (2000–2021)
Related Software: Maria; SPIN; BPEL2PN; Meddly; Uppaal; Anteater; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

HySAT

Software Authors:   Fränzle, Martin; Herde, Christian
Cited in: 25 Publications (2006–2021)
Related Software: MathSAT; HyTech; SpaceEx; PHAVer; ABsolver; RSOLVER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Mcmt

Software Authors:   Ghilardi S, Ranise S
Cited in: 23 Publications (2010–2022)
Related Software: SAFARI; Cubicle; z3; SMT-LIB; MathSAT5; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

QUBOS

Software Authors:   Ayari, Abdelwaheb; Basin, David
Cited in: 23 Publications (2002–2021)
Related Software: Quaffle; semprop; DepQBF; Quantor; sKizzo; Nenofex; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ToulBar2

Software Authors:   Thomas Schiex; Simon de Givry; David Allouche
Cited in: 23 Publications (2007–2022)
Related Software: mplp2; NumberJack; MaxHS; MiniMaxSat; GitHub; Gecode; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

libiop

Software Authors:   Ward, Nicholas P.
Cited in: 22 Publications (2019–2022)
Related Software: Marlin; Ligero; Libra; SNARKs for C; Pinocchio; Geppetto; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

Quantor

Software Authors:   Biere, Armin
Cited in: 22 Publications (2005–2017)
Related Software: sKizzo; QUBOS; DepQBF; Bloqqer; MiniSat; QUBE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Reveal

Software Authors:   Andraus, Zaher S.; Liffiton, Mark H.; Sakallah, Karem A.
Cited in: 22 Publications (1993–2021)
Related Software: MiniSat; MUSer2; HMQV; Paracooba; Kissat; CaDiCaL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

RSat

Software Authors:   Knot Pipatsrisawat; Adnan Darwiche
Cited in: 18 Publications (2008–2016)
Related Software: MiniSat; Chaff; PicoSAT; BerkMin; SATzilla; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CCLS

Software Authors:   Luo, C.; Cai, S.; Wu, W.; Jie, Z.; Su, K.
Cited in: 21 Publications (2015–2021)
Related Software: MaxHS; Sat4j; UBCSAT; NuMVC; CCASat; QMaxSAT; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Localizer

Software Authors:   Michel, Laurent; Van Hentenryck, Pascal
Cited in: 21 Publications (1999–2021)
Related Software: COMET; SALSA; EasyLocal++; CPLEX; iOpt; Oz; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); General topology (54-XX)

PrecoSAT

Software Authors:   Biere, A
Cited in: 21 Publications (2010–2021)
Related Software: Plingeling; MiniSat; Lingeling; Chaff; CryptoMiniSat; Glucose; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Classical thermodynamics, heat transfer (80-XX)

Zchaff2004

Software Authors:   Mahajan, Yogesh S.; Fu, Zhaohui; Malik, Sharad
Cited in: 16 Publications (2005–2016)
Related Software: MiniSat; Chaff; BerkMin; zChaff; SMT-LIB; SATzilla; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Convex and discrete geometry (52-XX)

Marlin

Software Authors:   Chiesa, Alessandro; Hu, Yuncong; Maller, Mary; Mishra, Pratyush; Vesely, Noah; Ward, Nicholas
Cited in: 20 Publications (2020–2022)
Related Software: libiop; Pinocchio; Libra; GitHub; SNARKs for C; zk-SNARK; …
Main Fields: Algebraic geometry (14-XX); Computer science (68-XX); Quantum theory (81-XX)

MaxSolver

Software Authors:   Zhao Xing , Weixiong Zhang
Cited in: 19 Publications (2005–2013)
Related Software: Chaff; MiniMaxSat; MiniSat; Pueblo; PBS; UBCSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

PySAT

Software Authors:   Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
Cited in: 19 Publications (2018–2022)
Related Software: MiniSat; Glucose; RC2; Plingeling; PBLib; Scikit; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX)

SATenstein

Software Authors:   KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
Cited in: 17 Publications (2009–2022)
Related Software: Paramils; SMAC; irace; SPOT; SATzilla; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Spacer

Software Authors:   Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar
Cited in: 18 Publications (2015–2022)
Related Software: z3; Yices; HMC; CVC4; Princess; Mjollnir; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

QBFLIB

Software Authors:   Giunchiglia, E., Narizzano, M.,Tacchella, A.
Cited in: 16 Publications (2004–2016)
Related Software: Bloqqer; QUBE; Quantor; sKizzo; DepQBF; Quaffle; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

HordeSat

Software Authors:   Balyo, Tomáš; Sanders, Peter; Sinz, Carsten
Cited in: 12 Publications (2015–2021)
Related Software: Plingeling; ManySAT; Lingeling; Treengeling; MiniSat; Paracooba; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CoLoSS

Software Authors:   G. Calin, R. Myers, D. Pattinson, L. Schröder
Cited in: 13 Publications (2009–2020)
Related Software: FaCT++; Pellet; Isabelle; Imogen; JTabWb; Cool; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

GridSAT

Software Authors:   Chrabakh, Wahid; Wolski, Rich
Cited in: 10 Publications (2006–2019)
Related Software: Chaff; SATO; PSATO; ZetaSAT; ManySAT; MiniSat; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

March_eq

Software Authors:   Heule, Marijn; Dufour, Mark; van Zwieten, Joris; van Maaren, Hans
Cited in: 13 Publications (2005–2021)
Related Software: MiniSat; Chaff; Lingeling; Plingeling; SATO; CaDiCaL; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

CCASat

Software Authors:   Cai, Shaowei; Su, Kaile
Cited in: 13 Publications (2013–2021)
Related Software: CCLS; NuMVC; CCAnr; MiniSat; SCCWalk; CCEHC; …
Main Fields: Combinatorics (05-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

SYMBA

Software Authors:   Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha
Cited in: 13 Publications (2014–2021)
Related Software: z3; vZ; OptiMathSAT; MathSAT5; LogMIP; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

HyFlex

Software Authors:   Ochoa, Gabriela; Hyde, Matthew; Curtois, Tim; Vazquez-Rodriguez, Jose A.; Walker, James; Gendreau, Michel; Kendall, Graham; McCollum, Barry; Parkes, Andrew J.; Petrovic, Sanja; Burke, Edmund K.
Cited in: 6 Publications (2012–2020)
Related Software: Hyperheuristics; Hyperion; Paramils; irace; PISA; SGDR; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

LMHS

Software Authors:   Saikko, Paul; Berg, Jeremias; Järvisalo, Matti
Cited in: 11 Publications (2016–2021)
Related Software: MiniSat; QMaxSAT; Sat4j; Open-WBO; Lingeling; CPLEX; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

TTM

Software Authors:   J. Gaintzarain, M. Hermo, P. Lucio, M. Navarro, F. Orejas
Cited in: 12 Publications (2007–2020)
Related Software: Rabinizer; TRP++; TSPASS; NuSMV
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PySMT

Software Authors:   Marco Gario, Andrea Micheli
Cited in: 9 Publications (2017–2022)
Related Software: z3; MathSAT5; Yices; SMT-LIB; CTIGAR; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

RC2

Software Authors:   Alexey Ignatiev, A. M.; Marques-Silva, J.
Cited in: 11 Publications (2019–2022)
Related Software: MaxHS; PySAT; Open-WBO; QMaxSAT; Sat4j; Glucose; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

aspeed

Software Authors:   Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
Cited in: 10 Publications (2012–2020)
Related Software: SATzilla; SMAC; Paramils; SUNNY; MiniZinc; llama; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

ChainSAT

Software Authors:   M. Alava, J. Ardelius, E. Aurell, P. Kaski, S. Krishnamurthy, P. Orponen, S. Seitz
Cited in: 8 Publications (2010–2020)
Related Software: Walksat; ManySAT; TTTPLOTS; Grid BnB; Sparrow2011; PaMiraXT; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

plasp

Software Authors:   Gebser, Martin; Kaminski, Roland; Knecht, Murat; Schaub, Torsten
Cited in: 9 Publications (2012–2021)
Related Software: PDDL; Clingo; ROSoClingo; Clingcon; WASP; GDL; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SBSAT

Software Authors:   Franco, John; Kouril, Michal; Schlipf, John; Ward, Jeffrey; Weaver, Sean; Dransfield, Michael; Vanfleet, W.Mark
Cited in: 9 Publications (2004–2012)
Related Software: FORCE; Chaff; BerkMin; zChaff; sharpSAT; MiniSat; …
Main Fields: Computer science (68-XX)

CirCUs

Software Authors:   Jin, HoonSang; Somenzi, Fabio
Cited in: 9 Publications (2004–2017)
Related Software: Chaff; zChaff; CUDD; BerkMin; Circus; ZRC; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

EAGLE

Software Authors:   Toumi, Alexis; Gutierrez, Julian; Wooldridge, Michael
Cited in: 9 Publications (2015–2021)
Related Software: MCMAS; MOCHA; PRISM-games; MCMAS-SLK; PRISM; PRALINE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

iProver-Eq

Software Authors:   Korovin, Konstantin; Sticksel, Christoph
Cited in: 9 Publications (2010–2022)
Related Software: iProver; TPTP; SPASS; E Theorem Prover; E-Darvin; DCTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Saturn

Software Authors:   Xie, Yichen; Aiken, Alex
Cited in: 5 Publications (2005–2021)
Related Software: STP; DART; SPIN; CUTE; BLAST; CNFgen; …
Main Fields: Computer science (68-XX)

CalCS

Software Authors:   Nuzzo, P., Puggelli, A., Seshia, S.A., Sangiovanni-Vincentelli, A.L.
Cited in: 8 Publications (2013–2019)
Related Software: dReal; z3; dReach; Yices; SMT-RAT; SMT-LIB; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)

CCEHC

Software Authors:   Luo, Chuan, Cai, Shaowei; Su, Kaile; Huang, Wenxuan
Cited in: 8 Publications (2017–2022)
Related Software: CCLS; Sat4j; WPM3; RC2; QMaxSAT; Paramils; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ESBMC

Software Authors:   University of Southampton, University of Stellenbosch, Federal University of Amazonas; Cordeiro, Lucas; Morse, Jeremy; Nicole, Denis; Fischer, Bernd
Cited in: 4 Publications (2014–2020)
Related Software: CBMC; LLBMC; BLAST; RELAY; LOCKSMITH; Threader; …
Main Fields: Computer science (68-XX)

EVC

Software Authors:   Velev, Miroslav N.; Bryant, Randal E.
Cited in: 8 Publications (2001–2012)
Related Software: Velev SAT Benchmarks; Chaff; BerkMin; PicoSAT; tts; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Computer science (68-XX)

maxino

Software Authors:   Mario Alviano
Cited in: 8 Publications (2016–2020)
Related Software: WASP; clasp; MiniSat; DLV2; LMHS; Cmodels; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PaInleSS

Software Authors:   Le Frioux, Ludovic; Baarir, Souheib; Sopena, Julien; Kordon, Fabrice
Cited in: 7 Publications (2018–2021)
Related Software: Plingeling; Treengeling; ManySAT; Lingeling; YalSAT; CaDiCaL; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SAT competition

Software Authors:   Hans van Maaren; John Franco
Cited in: 6 Publications (2009–2017)
Related Software: MiniSat; SMAC; SATenstein; SATzilla; Paramils; Chaff; …
Main Fields: Computer science (68-XX)

SymChaff

Software Authors:   Sabharwal, Ashish
Cited in: 8 Publications (2007–2022)
Related Software: MiniSat; bliss; Shatter; Traces; nauty; CDCLSym; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Zap

Software Authors:   Thomas Ball, Shuvendu Lahiri, and Madanlal Musuvathi
Cited in: 6 Publications (2005–2008)
Related Software: ESC/Java; SIMPLIFY; Spec#; Chaff; SMT-LIB; MiniSat; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

bv2epr

Software Authors:   Kovásznai, Gergely; Fröhlich, Andreas; Biere, Armin
Cited in: 7 Publications (2013–2018)
Related Software: STP; z3; Yices; NuSMV; SMT-LIB; Boolector; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CUD@SAT

Software Authors:   A. Dal Pal‘u, A. Dovier, A. Formisano, E. Pontelli
Cited in: 7 Publications (2016–2021)
Related Software: ManySAT; CUDA; Lingeling; Plingeling; Chaff; sunny-cp; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

H-PILoT

Software Authors:   Carsten Ihlemann, Viorica Sofronie-Stokkermans
Cited in: 6 Publications (2009–2021)
Related Software: z3; REDLOG; CVC4; Cubicle; VAMPIRE; GRASShopper; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

InKreSAT

Software Authors:   Kaminski, Mark; Tebbi, Tobias
Cited in: 7 Publications (2013–2021)
Related Software: Spartacus; BDDTab; FaCT++; MiniSat; MSPASS; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

NLambda

Software Authors:   Bartek Klin; Michał Szynwelski
Cited in: 7 Publications (2016–2022)
Related Software: LOIS; z3; Haskell; SETL; Sigma*
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ZetaSAT

Software Authors:   Blochinger, W., Westje, W., Küchlin, W., Wedeniwski, S.
Cited in: 4 Publications (2006–2015)
Related Software: GridSAT; Chaff; MiniSat; GrADSAT; ManySAT; NAGSAT; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

c2i

Software Authors:   Sharma, Rahul; Aiken, Alex
Cited in: 5 Publications (2016–2020)
Related Software: z3; Houdini; Spacer; Eldarica; Princess; FLATA; …
Main Fields: Computer science (68-XX)

CCAnr

Software Authors:   Cai, Shaowei; Luo, Chuan; Su, Kaile
Cited in: 5 Publications (2015–2021)
Related Software: Sparrow2Riss; Lingeling; CCASat; Plingeling; YalSAT; NLocalSAT; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

cumulativemm

Software Authors:   Schnell, Alexander; Hartl, Richard F.
Cited in: 6 Publications (2016–2022)
Related Software: gprecedencemm; npuScheduler; PSPLIB; PROGRESS; ILOG SCHEDULE; RanGen; …
Main Fields: General and overarching topics; collections (00-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

gprecedencemm

Software Authors:   Schnell, Alexander; Hartl, Richard F.
Cited in: 6 Publications (2016–2022)
Related Software: cumulativemm; npuScheduler; PSPLIB; PROGRESS; ILOG SCHEDULE; RanGen; …
Main Fields: General and overarching topics; collections (00-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

LinAIG

Software Authors:   Damm, Werner; Dierks, Henning; Disch, Stefan; Hagemann, Willem; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
Cited in: 6 Publications (2011–2016)
Related Software: z3; CUDD; SpaceEx; HyTech; PHAVer; Spacer; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)

LIPSAT

Software Authors:   Finger, Marcelo; Preto, Sandro
Cited in: 6 Publications (2018–2021)
Related Software: Lingeling; MiniSat; Yices; SCIP
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Measure and integration (28-XX)

meSAT

Software Authors:   Stojadinović, Mirko; Marić, Filip
Cited in: 6 Publications (2014–2022)
Related Software: MiniZinc; Sugar; Yices; SUNNY; Proteus; SATzilla; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Shatter

Software Authors:   Aloul, F.A., Markov, I.L., Sakallah, K.A.
Cited in: 6 Publications (2009–2019)
Related Software: MiniSat; bliss; SymChaff; Velev SAT Benchmarks; BerkMin; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

WPM3

Software Authors:   Ansótegui, Carlos; Gabàs, Joel
Cited in: 6 Publications (2017–2020)
Related Software: CCLS; Sat4j; QMaxSAT; Open-WBO-Inc; CCEHC; RC2; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ASASP

Software Authors:   Alberti, Francesco; Armando, Alessandro; Ranise, Silvio
Cited in: 4 Publications (2012–2020)
Related Software: Mcmt; VERIFAS; Booster; SAFARI; Cubicle; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ASPMT2SMT

Software Authors:   Bartholomew, Michael; Lee, Joohyung
Cited in: 5 Publications (2014–2020)
Related Software: Clingcon; DLV2; ezcsp; Clingo; WASP; clasp; …
Main Fields: Computer science (68-XX)

GenericWrapper4AC

Software Authors:   Eggensperger, Katharina; Lindauer, Marius; Hutter, Frank
Cited in: 5 Publications (2019–2022)
Related Software: irace; Paramils; EGO; Auto-WEKA; Agent57; AlexNet; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GrADSAT

Software Authors:   Wahid Chrabakh
Cited in: 2 Publications (2006–2015)
Related Software: ZetaSAT; Chaff; GridSAT; Globus Toolkit; GrADS; NAGSAT; …
Main Fields: Computer science (68-XX)

HyComp

Software Authors:   A. Cimatti, A. Griggio, S. Mover, S. Tonetta
Cited in: 5 Publications (2017–2022)
Related Software: nuXmv; CTIGAR; z3; NuSMV; MathSAT5; Uppaal; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

WPM2

Software Authors:   Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy
Cited in: 4 Publications (2016–2017)
Related Software: Sat4j; MaxHS; MiniMaxSat; CCLS; QMaxSAT; SMAC; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)