swMATH7095MaRDI QIDQ19153FDOQ19153
Author name not available (Why is that?)
Official website: http://www.cs.uni-potsdam.de/clasp/
Cited In (only showing first 100 items - show all)
- Multi-threaded ASP solving with clasp
- Boolean lexicographic optimization: algorithms \& applications
- Knowledge-based multi-criteria optimization to support indoor positioning
- claspfolio2: Advances in Algorithm Selection for Answer Set Programming
- ASlib: a benchmark library for algorithm selection
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
- Conflict-driven answer set solving: from theory to practice
- GNT
- Title not available (Why is that?)
- OptSAT
- Pueblo
- Cmodels
- DLV
- Gringo
- Lparse
- Smodels
- SATzilla
- Potassco
- GASP
- CCGbank
- OPIUM
- Asparagus
- Terminyzer
- oClingo
- Galliwasp
- AspCcgTk
- MSUnCore
- Clingcon
- Clingo
- Celldesigner
- Azucar
- URBiVA
- CSP2SAT4J
- GlueMiniSat
- WASP
- Lua
- Sugar
- iClingo
- claspfolio 2
- SIMPLY
- pfolioUZK
- ASPMT2SMT
- fzn2smt
- OOASP
- URSA
- COBRApy
- sharpSAT
- BEE
- GRAPPA
- ManyOpt
- MiningZinc
- Datalog
- htd
- nomore++
- GrappaVis
- Lpopt
- IDP3
- GidL
- Pathway Commons
- IDP
- lp2normal
- CLOSET
- asprilo
- aspeed
- ezcsp
- Phylotastic
- teaspoon
- asprin
- fastGapFill
- IDPDraw
- meneco
- RobinX
- ASPTools
- circumscriptino
- Gelisp
- DLV2
- mkplot
- TOAST
- hclasp
- LP2SAT
- maxino
- OMiGA
- pyrunlim
- Hexlite
- CPCES
- Metaopt
- Iterative and core-guided maxsat solving: a survey and assessment
- MASTRO
- GNA
- URSA: a system for uniform reduction to SAT
- aGrUM
- AutoFolio
- GASP: Answer set programming with lazy grounding
- Constraint Answer Set Solving
- The D-FLAT system for dynamic programming on tree decompositions
- \textit{clingcon}: the next generation
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
- Generating explanations for biomedical queries
- Modeling biological networks by action languages via answer set programming
- A Translation-based Approach to the Verification of Modular Equivalence
This page was built for software: clasp
