×

Found 10 Software Packages (Results 1–10)

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)