Found 6 Software Packages (Results 1–6)


Software Authors:   Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I.; Elgaard, J.
Cited in: 137 Publications (1995–2023)
Related Software: z3; DCVALID; NuSMV; Isabelle/HOL; Uppaal; SIMPLIFY; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)


Software Authors:   Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco
Cited in: 9 Publications (2015–2020)
Related Software: clasp; WASP; DLV; Cmodels; Clingo; DLV2; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)


Software Authors:   Neatherway, Robin P.; Ramsay, Steven J.; Ong, Chih-Hao Luke
Cited in: 2 Publications (2012–2017)
Related Software: TravMC2; GitHub; MoCHi; TRecS; BLAST
Main Fields: Computer science (68-XX)


Software Authors:   Kobayashi, N.
Cited in: 2 Publications (2012)
Related Software: TravMC; BLAST; THORS; EigenCFA
Main Fields: Computer science (68-XX)


Software Authors:   Ondrej Lengal; Jiri Simacek; Tomas Vojnar; Martin Hruska; Lukas Holik
Cited in: 1 Publication (2019)
Related Software: TaPAS; Antichains; LTL2BA; SPIN
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)


Software Authors:   Florent Jacquemard; et al.
Cited in: 1 Publication (2022)
Related Software:
Main Fields: Computer science (68-XX)