Bloqqer Software Authors: Armin Biere, Florian Lonsing, Martina Seidl Cited in: 31 Publications (2011–2022) Related Software: DepQBF; MiniSat; sQueezeBF; Quaffle; semprop; CAQE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MUP Software Authors: Huang J Cited in: 15 Publications (2005–2016) Related Software: AMUSE; MiniSat; FOCI; OpenSMT; SMT-LIB; PicoSAT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MathCheck Software Authors: Bright, Curtis; Ganesh, Vijay; Heinle, Albert; Kotsireas, Ilias; Nejati, Saeed; Czarnecki, Krzysztof; Zulkoski, Edward Cited in: 13 Publications (2015–2021) Related Software: Lynx; Maple; FFTW; nsoks; Mathematica; SageMath; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX)
Proteus Software Authors: Hurley, Barry; Kotthoff, Lars; Malitsky, Yuri; O’Sullivan, Barry Cited in: 11 Publications (2015–2022) Related Software: MiniZinc; SATzilla; SUNNY; SMAC; claspfolio 2; llama; … Main Fields: Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
BEE Software Authors: Metodi, Amit; Codish, Michael Cited in: 8 Publications (2012–2022) Related Software: Traces; nauty; MiniSat; OEIS; Glucose; GenerateUHG; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Azucar Software Authors: Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara Cited in: 4 Publications (2014–2022) Related Software: Gecode; MiniZinc; Sugar; SATzilla; meSAT; MINION; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-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)
Transalg Software Authors: Otpuschennikov, I., Semenov, A.,Kochemazov, S. Cited in: 6 Publications (2011–2021) Related Software: MiniSat; Trivium; URSA; CBMC; GitHub; Grain; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
RP-DeLP Software Authors: Alsinet, Teresa; Béjar, Ramón; Godo, Lluís; Guitart, Francesc Cited in: 5 Publications (2014–2022) Related Software: EDITS; dynPARTIX; ASPARTIX; NLTK Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
SaDiCaL Software Authors: Marijn J. H. Heule, Benjamin Kiesl, Armin Biere Cited in: 5 Publications (2019–2022) Related Software: Plingeling; MiniSat; Lingeling; Treengeling; CaDiCaL; DRAT-trim; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CoReS Software Authors: König, Barbara; Nederkorn, Maxime; Nolte, Dennis Cited in: 4 Publications (2018–2022) Related Software: z3; SMT-LIB; MEMSALab; SemidefiniteProgramming; Limboole Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
fzn2smt Software Authors: Bofill, M., Palahí, M., Suy, J., Villaret, M. Cited in: 4 Publications (2012–2017) Related Software: MiniZinc; Gecode; SCIP; Essence; COMET; FlatZinc; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Picat-SAT Software Authors: Zhou, N.-F., Kjellerstrand, H. Cited in: 4 Publications (2017–2022) Related Software: MiniZinc; Open-WBO; Proteus; CHUFFED; PBLib; Sugar; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Bosphorus Software Authors: Choo, D., Soos, M., Chai, K.M.A., Meel, K.S. Cited in: 3 Publications (2020–2021) Related Software: Pacheck; Nusschecker; RevSCA; Btor2Tools; BtorMC; PolyCleaner; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); Computer science (68-XX)
MaxPre Software Authors: Korhonen, Tuukka; Berg, Jeremias; Saikko, Paul; Järvisalo, Matti Cited in: 2 Publications (2021–2022) Related Software: RC2; MiniSat; Coprocessor; LMHS; iProver Main Fields: Computer science (68-XX)
SATLIB Benchmark Suite Software Authors: Holger H Hoos; Thomas Stützle Cited in: 3 Publications (2007–2014) Related Software: CMU Benchmarks; GitHub; FOCI; Skeptik; AMUSE; MUP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PULi Software Authors: Kazakov, Yevgeny; Skočovský, Peter Cited in: 2 Publications (2018–2022) Related Software: BEACON; ELK; QUICKXPLAIN; EL2MCS Main Fields: Computer science (68-XX)
OptiLog Software Authors: Ansótegui, Carlos; Ojeda, Jesús; Pacheco, Antonio; Pon, Josep; Salvia, Josep M.; Torres, Eduard Cited in: 1 Publication (2021) Related Software: MiniSat; CNFgen; PyPBLib; Paracooba; Kissat; CaDiCaL; … Main Fields: Computer science (68-XX)