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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
CrystalBall Software Authors: Soos, Mate; Kulkarni, Raghav; Meel, Kuldeep S. Cited in: 4 Publications (2019–2022) Related Software: Chaff; z3; SPASS; OTTER; YalSAT; FourierSAT; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
satUZK Software Authors: van der Grinten, A., Wotzlaw, A., Speckenmeyer, E., Porschen, S. Cited in: 4 Publications (2014–2020) Related Software: Lingeling; Treengeling; Glucose; Plingeling; Chaff; MiniSat; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
PASSAT Software Authors: Shi, J., Fey, G., Drechsler, R., Glowatz, A., Hapke, F., Schlöffel, J. Cited in: 3 Publications (2006–2009) Related Software: HANNIBAL; SOCRATES; HITEC; BerkMin; Chaff; SATIRE; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)
3BA Software Authors: Horáček, Jan; Kreuzer, Martin Cited in: 2 Publications (2018) Related Software: ATAME; Axl; Francy; DiscreteZOO; libtropicon; Theoryguru; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
CDCLSym Software Authors: Metin, Hakan; Baarir, Souheib; Colange, Maximilien; Kordon, Fabrice Cited in: 2 Publications (2018–2022) Related Software: SymChaff; MiniSat; MiniSym; Saucy; bliss Main Fields: 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)
MiniSym Software Authors: Metin, Hakan; Baarir, Souheib; Colange, Maximilien; Kordon, Fabrice Cited in: 1 Publication (2018) Related Software: MiniSat; CDCLSym; Saucy; SymChaff; bliss Main Fields: Computer science (68-XX)