• cmMUS

  • Referenced in 1 article [sw09773]
  • cmMUS: A tool for circumscription-based MUS membership testing. This article presents cmMUS-a tool ... problem by translating it to propositional circumscription, a well-known 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 conflict-driven 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...