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)