Smodels Software Authors: Niemelä, Ilkka; Simons, P; Syrjänen, Tommi Cited in: 229 Publications (1999–2022) Related Software: ASSAT; Cmodels; XSB; Gringo; clasp; Lparse; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
CCalc Software Authors: Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson Cited in: 74 Publications (2003–2021) Related Software: Smodels; Coala; GOLOG; PDDL; Society Visualiser; NuSMV; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
SOLAR Software Authors: Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray Cited in: 19 Publications (1993–2022) Related Software: E Theorem Prover; SPASS; SCIFF; SBGN; MiniSat; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
ezcsp Software Authors: Balduccini, Marcello; Lierler, Yuliya Cited in: 12 Publications (2009–2021) Related Software: Clingo; Clingcon; WASP; DLV2; clasp; Gringo; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
Asparagus Software Authors: Christian Anger; Torsten Schaub; Miroslaw Truszczynski Cited in: 3 Publications (2005–2012) Related Software: ASSAT; Runsolver; StarExec; RunLim; VCWC; TPTP; … Main Fields: Computer science (68-XX)
KLMLean Software Authors: Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca Cited in: 5 Publications (2007–2021) Related Software: CondLean; leanTAP; ModLeanTAP; VINTE; NESCOND; CSLLean Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
eclingo Software Authors: Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten Cited in: 4 Publications (2020–2022) Related Software: Clingo; selp; htd; lp2normal; WASP; Smodels; … Main Fields: Computer science (68-XX)
ILPME Software Authors: Mitra, Arindam; Baral, Chitta Cited in: 2 Publications (2018–2020) Related Software: SQuARE; VerbNet; Penn Treebank; AQuA; sCASP; MCTest; … Main Fields: Computer science (68-XX)
MiniTab Software Authors: Lorenz, Sven Cited in: 2 Publications (1994–1996) Related Software: HARP; THOT Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DARR Software Authors: Lupea, Mihaiela Cited in: 1 Publication (2002) Related Software: – Main Fields: Computer science (68-XX)