MONA 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)
IDP3 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)
TravMC 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)
TRecS Software Authors: Kobayashi, N. Cited in: 2 Publications (2012) Related Software: TravMC; BLAST; THORS; EigenCFA Main Fields: Computer science (68-XX)
libVATA 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)
qparse Software Authors: Florent Jacquemard; et al. Cited in: 1 Publication (2022) Related Software: – Main Fields: Computer science (68-XX)