CUDD Software Authors: Fabio Somenzi Cited in: 151 Publications (1997–2022) Related Software: NuSMV; SPIN; PRISM; MiniSat; PolyBoRi; SINGULAR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Supremica Software Authors: Knut Akesson; Martin Fabian; Hugo Flordal; Robi Malik Cited in: 24 Publications (2009–2023) Related Software: UMDES; libFAUDES; REGAL; TCT; QuickCheck; MersenneTwister; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
azove Software Authors: Behle, Markus Cited in: 13 Publications (2007–2021) Related Software: Matlab; PPL; PORTA; barvinok; lrs; LattE; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
SBSAT Software Authors: Franco, John; Kouril, Michal; Schlipf, John; Ward, Jeffrey; Weaver, Sean; Dransfield, Michael; Vanfleet, W.Mark Cited in: 9 Publications (2004–2012) Related Software: FORCE; Chaff; BerkMin; zChaff; sharpSAT; MiniSat; … Main Fields: Computer science (68-XX)
CirCUs Software Authors: Jin, HoonSang; Somenzi, Fabio Cited in: 9 Publications (2004–2017) Related Software: Chaff; zChaff; CUDD; BerkMin; Circus; ZRC; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Sylvan Software Authors: van Dijk, T.; van de Pol, J. Cited in: 8 Publications (2020–2022) Related Software: LTSmin; Storm; PROPhESY; GitHub; BuDDy; CUDD; … Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
QMDD Software Authors: D.M. Miller, M.A. Thornton Cited in: 7 Publications (2008–2018) Related Software: QuIDDPro; QCM; qHiPSTER; GitHub; ABC; RevKit; … Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)
ROBDD Software Authors: Brace, K. S.; Rundell, R. L.; Bryant, R. E. Cited in: 5 Publications (1992–2003) Related Software: NQTHM Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
CASPA Software Authors: Bachmann, Jens; Riedl, Martin; Schuster, Johann; Siegle, Markus Cited in: 4 Publications (2008–2015) Related Software: PRISM; CUDD; PARAM Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)
DenseZDD Software Authors: Denzumi, Shuhei; Kawahara, Jun; Tsuda, Koji; Arimura, Hiroki; Minato, Shin-ichi; Sadakane, Kunihiko Cited in: 1 Publication (2018) Related Software: LCM; Graphillion; SAPPORO BDD Main Fields: Computer science (68-XX)
ITEM ToolKit Software Authors: ITEM Software (USA) Inc Cited in: 2 Publications (2015–2017) Related Software: PRISM; MARCA; HyperStar; Jphase; mdp; JUnit; … Main Fields: Probability theory and stochastic processes (60-XX); Operations research, mathematical programming (90-XX)
CLab Software Authors: Jensen, Rune Cited in: 1 Publication (2016) Related Software: – Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)
CrocoPat Software Authors: Dirk Beyer, Andreas Noack, Claus Lewerentz Cited in: 1 Publication (2009) Related Software: Qscope; PQL; CodeQuest; Eiffel Main Fields: Computer science (68-XX)
HasCacBDD Software Authors: Gattinger, M. Cited in: 2 Publications (2015–2018) Related Software: SMCDEL; CacBDD; CUDD; DEMO; criterion; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
KURE Software Authors: U. Milanese Cited in: 2 Publications (2008–2009) Related Software: RelView; GBDD; Z; MCK; Haskell Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)
NuMDG Software Authors: Abed, Sa’ed; Mokhtari, Yassine; Ait-Mohamed, Otmane; Tahar, Sofiène Cited in: 2 Publications (2011–2012) Related Software: Velev SAT Benchmarks; NuSMV Main Fields: Combinatorics (05-XX); Computer science (68-XX)
BDD Software Authors: Sivilotti, P., Asim, S., Rumreich, L. Cited in: 1 Publication (2021) Related Software: Why3; JDD; SableJBDD; Sylvan; Rust; GitHub; … Main Fields: Computer science (68-XX)
CryptaPath Software Authors: Indrøy, John Petter; Costes, Nicolas; Raddum, Håvard Cited in: 1 Publication (2021) Related Software: ADD-Lib; dd; Sylvan; GitHub; BuDDy; CUDD; … Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
JDD Software Authors: Vahidi, A. Cited in: 1 Publication (2021) Related Software: Why3; BDD; SableJBDD; Sylvan; Rust; GitHub; … Main Fields: Computer science (68-XX)
SableJBDD Software Authors: Qian, F. Cited in: 1 Publication (2021) Related Software: Why3; JDD; BDD; Sylvan; Rust; GitHub; … Main Fields: Computer science (68-XX)
MLCUDDIDL Software Authors: Bertrand Jeannet Cited in: 0 Publications Related Software: – Main Fields: –