×

Found 25 Software Packages (Results 1–25)

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)