
cmMUS
 Referenced in 1 article
[sw09773]
 cmMUS: A tool for circumscriptionbased MUS membership testing. This article presents cmMUSa tool ... problem by translating it to propositional circumscription, a wellknown problem from the area...

ToyElim
 Referenced in 3 articles
[sw09900]
 formula of propositional logic extended with operators for projection and circumscription as input, and outputs...

GOLOG
 Referenced in 173 articles
[sw02159]
 GOLOG: A logic programming language for dynamic domains...

ASSAT
 Referenced in 176 articles
[sw02524]
 ASSAT (Answer Sets by SAT solvers) is a...

OTTER
 Referenced in 320 articles
[sw02904]
 Our current automated deduction system Otter is designed...

Walksat
 Referenced in 211 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to...

Gringo
 Referenced in 109 articles
[sw04630]
 This document provides an introduction to the Answer...

Smodels
 Referenced in 240 articles
[sw04631]
 The Smodels system is an Answer Set Programming...

SATCHMO
 Referenced in 97 articles
[sw06619]
 SATCHMO: a theorem prover implemented in Prolog. The...

clasp
 Referenced in 104 articles
[sw07095]
 clasp: A conflictdriven answer set solver. clasp...

Glucose
 Referenced in 48 articles
[sw07833]
 The Glucose SAT Solver. Glucose is based on...

Clingo
 Referenced in 104 articles
[sw09893]
 Potassco, the Potsdam Answer Set Solving Collection, bundles...

UCPOP
 Referenced in 39 articles
[sw20687]
 The UCPOP Planner. Note: UCPOP is an aging...

pyglaf
 Referenced in 3 articles
[sw33069]
 pyglaf: A solver for Argumentation Frameworks written in...