Chaff Software Authors: Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S Cited in: 545 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)
MiniSat Software Authors: Niklas Eén, Niklas Sörensson Cited in: 560 Publications (2003–2022) Related Software: Chaff; BerkMin; z3; Lingeling; PicoSAT; SATO; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
SATzilla Software Authors: Xu, L.; Hutter, F.; Hoos, H.H.; Leyton-Brown, K. Cited in: 89 Publications (2008–2022) Related Software: Paramils; MiniSat; SMAC; clasp; irace; MiniZinc; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
PicoSAT Software Authors: Biere, Armin Cited in: 85 Publications (2008–2022) Related Software: MiniSat; Chaff; BerkMin; SATO; Sat4j; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
Plingeling Software Authors: Biere, Armin Cited in: 80 Publications (2010–2022) Related Software: Lingeling; Treengeling; MiniSat; YalSAT; CaDiCaL; Chaff; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SATLIB Software Authors: Hoos, Holger H.; Stützle, Thomas Cited in: 54 Publications (2000–2022) Related Software: Chaff; Walksat; TPTP; MiniSat; SATO; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX)
Siege Software Authors: – Cited in: 34 Publications (2005–2021) Related Software: Chaff; BerkMin; MiniSat; SATO; PicoSAT; Walksat; … Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-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)
SatEx Software Authors: Simon, Laurent; Chatalic, Philippe Cited in: 11 Publications (2001–2011) Related Software: Chaff; SATO; UnitWalk; SATLIB; Velev SAT Benchmarks; DIMACS; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
MUSer2 Software Authors: Belov, Anton; Marques-Silva, Joao Cited in: 14 Publications (2013–2021) Related Software: MiniSat; sharpSAT; Reveal; Lingeling; QUICKXPLAIN; PicoSAT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)
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)
SAT competition Software Authors: Hans van Maaren; John Franco Cited in: 6 Publications (2009–2017) Related Software: MiniSat; Paramils; SMAC; SATenstein; SATzilla; Chaff; … Main Fields: Computer science (68-XX)
Limmat Software Authors: Armin Biere Cited in: 4 Publications (2005–2014) Related Software: Chaff; MiniSat; BerkMin; CBMC; SPIN; zChaff; … Main Fields: Computer science (68-XX); Fluid mechanics (76-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)
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)
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)
PrASP Software Authors: Nickles, Matthias Cited in: 4 Publications (2016–2022) Related Software: ProbLog; PRISM; PASOCS; SMProbLog; PASTA; DeepProbLog; … Main Fields: Computer science (68-XX)
RP-DeLP Software Authors: Alsinet, Teresa; Béjar, Ramón; Godo, Lluís; Guitart, Francesc Cited in: 4 Publications (2014–2017) 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)
3BA Software Authors: Horáček, Jan; Kreuzer, Martin Cited in: 2 Publications (2018) Related Software: LELA; GBLA; antom; ApCoCoA; FGb; PolyBoRi; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
FourierSAT Software Authors: Kyrillidis, Anastasios; Shrivastava, Anshumali; Vardi, Moshe Y.; Zhang, Zhiwei Cited in: 2 Publications (2021) Related Software: Lingeling; Plingeling; Walksat; MiniSat; YalSAT; CrystalBall; … Main Fields: Computer science (68-XX)
NLocalSAT Software Authors: Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang Cited in: 1 Publication (2021) Related Software: Plingeling; Lingeling; YalSAT; CCAnr; gluHack; Sparrow2Riss; … Main Fields: Computer science (68-XX)
DiffSat Software Authors: Jing, Minge; Zhou, Dian; Tang, Pushan; Zhou, Xiaofang; Zhang, Hua Cited in: 1 Publication (2007) Related Software: SATO; MiniSat; BerkMin; Chaff; zChaff Main Fields: Computer science (68-XX)
gini Software Authors: Scott Cotton Cited in: 1 Publication (2020) Related Software: – Main Fields: Fluid mechanics (76-XX); Geophysics (86-XX)
LearnSAT Software Authors: Ben-Ari, Mordechai (Moti) Cited in: 0 Publications Related Software: – Main Fields: Computer science (68-XX)