clasp Software Authors: Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub Cited in: 98 Publications (2007–2022) Related Software: Gringo; Clingo; WASP; MiniSat; ASSAT; iClingo; … Main Fields: –
Sat4j Software Authors: Le Berre; Parrain Cited in: 84 Publications (2007–2023) Related Software: MiniSat; Chaff; QMaxSAT; Open-WBO; MiniMaxSat; PicoSAT; … Main Fields: –
WASP Software Authors: Alviano, Mario; Dodaro, Carmine; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco Cited in: 55 Publications (2014–2022) Related Software: Clingo; clasp; Gringo; DLV2; DLV; Cmodels; … Main Fields: (68N17-XX); (68T27-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: (68Q25-XX); (68T20-XX)
zChaff Software Authors: Yogesh Mahajan Cited in: 32 Publications (2003–2020) Related Software: Chaff; MiniSat; BerkMin; SATO; Zchaff2004; Walksat; … Main Fields: (68T20-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: (68T20-XX); (68T05-XX)
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: (03B70-XX); (68T27-XX)
sharpSAT Software Authors: Thurley, M. Cited in: 29 Publications (2011–2023) Related Software: Dsharp; SageMath; Chaff; MiniSat; htd; GANAK; … Main Fields: –
YalSAT Software Authors: Armin Biere Cited in: 24 Publications (2017–2021) Related Software: Lingeling; Plingeling; Treengeling; CaDiCaL; Splatz; MiniSat; … Main Fields: –
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: –
PrecoSAT Software Authors: Biere, A Cited in: 21 Publications (2010–2021) Related Software: Plingeling; MiniSat; Lingeling; Chaff; CryptoMiniSat; Glucose; … Main Fields: –
MaxSolver Software Authors: Zhao Xing , Weixiong Zhang Cited in: 19 Publications (2005–2013) Related Software: Chaff; MiniMaxSat; MiniSat; Pueblo; PBS; UBCSAT; … Main Fields: (68T20-XX); (68Q25-XX); (90C05-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: (68Q25-XX); (68T20-XX)
Coprocessor Software Authors: Norbert Manthey Cited in: 12 Publications (2015–2021) Related Software: MiniSat; Lingeling; Plingeling; Chaff; Treengeling; DRAT-trim; … Main Fields: –
CSIsat Software Authors: Dirk Beyer; Damien Zufferey; Rupak Majumdar Cited in: 14 Publications (2009–2016) Related Software: FOCI; Princess; Wolverine; SIMPLIFY; z3; BLAST; … Main Fields: –
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: (68Q25-XX); (68T20-XX)
GridSAT Software Authors: Chrabakh, Wahid; Wolski, Rich Cited in: 10 Publications (2006–2019) Related Software: Chaff; SATO; PSATO; ZetaSAT; ManySAT; MiniSat; … Main Fields: (68M10-XX); (68T20-XX)
CCASat Software Authors: Cai, Shaowei; Su, Kaile Cited in: 13 Publications (2013–2021) Related Software: CCLS; NuMVC; CCAnr; MiniSat; SCCWalk; CCEHC; … Main Fields: (68T-XX)
tawSolver Software Authors: Tanbir Ahmed; Oliver Kullmann Cited in: 12 Publications (1962–2022) Related Software: GitHub; Lynx; MathCheck; DRAT-trim; Mathematica; Maple; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)
PaMiraXT Software Authors: Schubert, Tobias; Lewis, Matthew; Becker, Bernd Cited in: 11 Publications (2009–2021) Related Software: ManySAT; Lingeling; MiniSat; Plingeling; Chaff; SATO; … Main Fields: (68T20-XX); (68W10-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: –
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: (68T20-XX); (68N17-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: –
BEE Software Authors: Metodi, Amit; Codish, Michael Cited in: 8 Publications (2012–2022) Related Software: Traces; nauty; MiniSat; OEIS; Glucose; GenerateUHG; … Main Fields: (68N20-XX); (68N17-XX)
CirCUs Software Authors: Jin, HoonSang; Somenzi, Fabio Cited in: 9 Publications (2004–2017) Related Software: Chaff; zChaff; CUDD; BerkMin; Circus; ZRC; … Main Fields: (68T20-XX)
FORCE Software Authors: Aloul, F. A.; Markov, I. L.; Sakallah, K. A. Cited in: 9 Publications (2005–2016) Related Software: SBSAT; Chaff; MiniSat; sharpSAT; BerkMin; CUDD; … Main Fields: –
PaInleSS Software Authors: Le Frioux, Ludovic; Baarir, Souheib; Sopena, Julien; Kordon, Fabrice Cited in: 8 Publications (2018–2022) Related Software: Plingeling; Treengeling; ManySAT; Lingeling; YalSAT; CaDiCaL; … Main Fields: (68Q25-XX); (68T20-XX)
raSAT Software Authors: Khanh, T.V., Ogawa, M. Cited in: 9 Publications (2016–2022) Related Software: SMT-RAT; CVC4; z3; Yices; SMT-LIB; dReal; … Main Fields: –
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: –
BEACON Software Authors: Arif, M.Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao Cited in: 7 Publications (2016–2022) Related Software: ELK; EL2MCS; HgMUS; PULi; Just; CEL; … Main Fields: (68Q25-XX); (68T20-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: –
TACO Software Authors: Juan P. Galeotti; Nicolas Rosner; Carlos G. Lopez Pombo; Marcelo F. Frias Cited in: 4 Publications (2013–2021) Related Software: Java PathFinder; TestEra; Korat; GitHub; Kodkod; JPF-SE; … Main Fields: –
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: –
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: –
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)
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: (90B35-XX); (90C57-XX)
meSAT Software Authors: Stojadinović, Mirko; Marić, Filip Cited in: 6 Publications (2014–2022) Related Software: MiniZinc; Sugar; Yices; SUNNY; Proteus; SATzilla; … Main Fields: (90C30-XX); (90C11-XX)
URSA Software Authors: Janičić, P. Cited in: 6 Publications (2012–2022) Related Software: CBMC; MiniSat; Transalg; Trivium; GitHub; Grain; … Main Fields: –
antom Software Authors: Sven Reimer, Tobias Schubert Cited in: 5 Publications (2012–2021) Related Software: PicoSAT; CryptoMiniSat; ApCoCoA; FGb; PolyBoRi; Lingeling; … Main Fields: –
CNFgen Software Authors: Lauria, Massimo; Elffers, Jan; Nordström, Jakob; Vinyals, Marc Cited in: 4 Publications (2020–2021) Related Software: Scikit; MiniSat; Python; Sat4j; PolyBoRi; Graphplan; … Main Fields: (68Q25-XX); (68T20-XX)
GrADSAT Software Authors: Wahid Chrabakh Cited in: 2 Publications (2006–2015) Related Software: ZetaSAT; Chaff; GridSAT; Globus Toolkit; GrADS; NAGSAT; … Main Fields: –
intuit Software Authors: Claessen, Koen; Rosén, Dan Cited in: 5 Publications (2015–2021) Related Software: ILTP; BDDTab; InKreSAT; Coq; Gen2sat; GoedelGod; … Main Fields: (68V15-XX); (03B20-XX)
MapleCOMSPS_LRB Software Authors: Liang, J. H.; Oh, C.; Ganesh, V.; Czarnecki, K.; Poupart, P. Cited in: 5 Publications (2020–2021) Related Software: MapleCOMSPS; YalSAT; CaDiCaL; Lingeling; Treengeling; Plingeling; … Main Fields: –
Psyche Software Authors: Graham-Lengrand, Stéphane Cited in: 5 Publications (2013–2020) Related Software: Isabelle; intuit; ILTP; TRAMP; GAPT; Easychair; … Main Fields: (68T15-XX)
SaDiCaL Software Authors: Marijn J. H. Heule, Benjamin Kiesl, Armin Biere Cited in: 5 Publications (2019–2022) Related Software: Plingeling; CaDiCaL; Lingeling; Treengeling; MiniSat; DRAT-trim; … Main Fields: –
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: –
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: (68T20-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: –
iSat Software Authors: Ezequiel Orbe, Carlos Areces, Gabriel Infante-López Cited in: 3 Publications (2011–2017) Related Software: DPvis; ISAT-CK7; Cantera; GRI-Mech 3.0; CHEMKIN; OpenFOAM; … Main Fields: –
MPIDepQBF Software Authors: Jordan, C., Kaiser, L., Lonsing, F., Seidl, M. Cited in: 4 Publications (2014–2019) Related Software: DepQBF; QMiraXT; semprop; CAQE; HordeQBF; HordeSat; … Main Fields: –
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: (68T27-XX)
ALIAS Software Authors: Kochemazov, Stepan; Zaikin, Oleg Cited in: 3 Publications (2018–2021) Related Software: PaInleSS; PSATO; eSTREAM; MICKEY; Transalg; Trivium; … Main Fields: (68Q25-XX); (68T20-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: –
F@BOOL@ Software Authors: Bodin, E.V., Kalinina, N.A., Shilov, N.V., Cited in: 3 Publications (2008–2010) Related Software: zChaff Main Fields: –
FrankenBit Software Authors: Gurfinkel, A., Belov, A. Cited in: 2 Publications (2017–2018) Related Software: CBMC; CEGAR; MU-CSeq; Symbiotic 2; CPAlien; Jakstab; … Main Fields: –
MiFuMax Software Authors: Janota, M. Cited in: 3 Publications (2015–2018) Related Software: Python; SATisPy; PyMiniSolvers; pylgl; PySAT; PyTorch; … Main Fields: –
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: –
S-Cluster++ Software Authors: Yan, H., Gunawan, A.D., Zhang, L. Cited in: 3 Publications (2019–2021) Related Software: tcp_package; UFBoot2; Bio++; ExaBayes; ExaML; MulRF; … Main Fields: –
SATGraf Software Authors: Newsham, Zack; Lindsay, William; Ganesh, Vijay; Liang, Jia Hui; Fischmeister, Sebastian; Czarnecki, Krzysztof Cited in: 3 Publications (2015–2016) Related Software: MiniSat; DPvis; SMAC; Hyperbolic graph generator; March_eq; DiSCiPl; … Main Fields: –
Scarab Software Authors: Soh, Takehide; Tamura, Naoyuki; Banbara, Mutsunori Cited in: 2 Publications (2014) Related Software: Sat4j; GRAPPA; Lynx; TSPLIB; OscaR; Copris; … Main Fields: (68Q25-XX); (68T20-XX)
ToyElim Software Authors: Wernhard, C. Cited in: 2 Publications (2012–2013) Related Software: – Main Fields: –
3BA Software Authors: Horáček, Jan; Kreuzer, Martin Cited in: 2 Publications (2018) Related Software: ATAME; Axl; Francy; DiscreteZOO; libtropicon; Theoryguru; … Main Fields: (65Yxx-XX); (68T15-XX); (68U35-XX)
BALM-II Software Authors: Castagnetti, G., Piccolo, M., Villa, T. Cited in: 2 Publications (2015–2020) Related Software: MVSIS Main Fields: –
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: (68T20-XX)
CPSparrow Software Authors: Yamin Hu, Wenjian Luo, Junteng Wang Cited in: 1 Publication (2021) Related Software: gluHack; Sparrow2Riss; Plingeling; Lingeling; Dafny; Splatz; … Main Fields: –
DRABT Software Authors: Marijn J.H. Heule; Armin Biere Cited in: 2 Publications (2015–2016) Related Software: DRAT-trim; PicoSAT; MiniSat; Lingeling; Treengeling; tawSolver; … Main Fields: –
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: (68T-XX)
gluHack Software Authors: Yamin Hu, Wenjian Luo, Junteng Wang Cited in: 1 Publication (2021) Related Software: CPSparrow; Sparrow2Riss; Plingeling; Lingeling; Dafny; Splatz; … Main Fields: –
MapleSAT Software Authors: Jia Hui Liang; Vijay Ganesh; University of Waterloo Cited in: 2 Publications (2017–2020) Related Software: Traces; zChaff; nauty; MiniSat; Chaff; CryptoMiniSat; … Main Fields: –
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: –
OKlibrary Software Authors: Kullmann, O. Cited in: 2 Publications (2009–2014) Related Software: MiniSat; Lingeling; PMSat; tawSolver; PicoSAT; PaMiraXT; … Main Fields: –
OptSAT Software Authors: Giunchiglia, Enrico; Maratea, Marco Cited in: 2 Publications (2006–2013) Related Software: MiniSat; MaxHS; MSUnCore; MiniMaxSat; QMaxSAT; OPIUM; … Main Fields: (68T20-XX); (90C57-XX)
SArTagnan Software Authors: Kottler, S., Kaufmann, M. Cited in: 2 Publications (2012–2014) Related Software: Chaff; ManySAT; MiniSat; PaSAT; PaMira; Lingeling; … Main Fields: –
SATLike Software Authors: Cai, Shaowei; Lei, Zhendong Cited in: 2 Publications (2020–2021) Related Software: Open-WBO; PBLib; Gurobi; RC2; WPM3; CCEHC; … Main Fields: (68T-XX)
Wombit Software Authors: Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J. Cited in: 2 Publications (2019–2020) Related Software: CVC4; sunny-cp; Boogie; STP; SUNNY; meSAT; … Main Fields: (68T20-XX)
Yasol Software Authors: Ederer, T.; Hartisch, M.; Lorenz, U.; Opfer, T.; Wolf, J. Cited in: 2 Publications (2021) Related Software: – Main Fields: –
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: (68T20-XX); (68T35-XX)
I-RiSC Software Authors: Loup, Ulrich; Ábrahám, Erika Cited in: 1 Publication (2011) Related Software: ABsolver; OpenSMT; GiNaCRA; z3; cvc3 Main Fields: (68T15-XX)
LearnSAT Software Authors: Ben-Ari, Mordechai (Moti) Cited in: 0 Publications Related Software: – Main Fields: (68Q25-XX); (68T20-XX)
ManyOpt Software Authors: Andrea Callia D'Iddio, Michael Huth Cited in: 0 Publications Related Software: OSiL; BARON; LINDOGlobal; MathSAT; PySMT; MINOS; … Main Fields: –
MergeSat Software Authors: Manthey, Norbert Cited in: 1 Publication (2021) Related Software: YalSAT; Paracooba; Kissat; Maple_LCM_Dist_ChronoBT; CaDiCaL; MapleCOMSPS_LRB; … Main Fields: (68Q25-XX); (68R07-XX); (68T20-XX)
metaSMT Software Authors: Riener, H. Cited in: 1 Publication (2021) Related Software: CVC4; SMT Kit; BtorMC; lazybv2int; Pono; SBV; … Main Fields: –
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: (68T20-XX)
pl-nauty Software Authors: Frank, Michael; Codish, Michael Cited in: 1 Publication (2016) Related Software: bliss; SWI-Prolog; BEE; Traces; nauty Main Fields: (68N17-XX); (05-04-XX); (68T20-XX)
relsat Software Authors: Roberto Bayardo Cited in: 1 Publication (2015) Related Software: TOPCOM; nauty; SCIP Main Fields: –
SLIME Software Authors: Riveros, O. Cited in: 1 Publication (2021) Related Software: YalSAT; Paracooba; Kissat; cake_lpr; CaDiCaL; MapleCOMSPS_LRB; … Main Fields: –
delSAT Software Authors: Matthias Nickles Cited in: 0 Publications Related Software: – Main Fields: –