clasp

clasp: A conflict-driven answer set solver. clasp is part of the Potassco project hosted at SourceForge. Source code and pre-compiled binaries are available on the Potassco download page. clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on SMODELS format, as output by Gringo), as a SAT solver (on a simplified version of DIMACS/CNF format), or as a PB solver (on OPB format).


References in zbMATH (referenced in 77 articles )

Showing results 1 to 20 of 77.
Sorted by year (citations)

1 2 3 4 next

  1. Alviano, Mario; Dodaro, Carmine; Maratea, Marco: Shared aggregate sets in answer set programming (2018)
  2. Brewka, Gerhard; Ellmauthaler, Stefan; Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Pührer, Jörg: Reactive multi-context systems: heterogeneous reasoning in dynamic environments (2018)
  3. Dahlem, Marc; Bhagyanath, Anoop; Schneider, Klaus: Optimal scheduling for exposed datapath architectures with buffered processing units by ASP (2018)
  4. Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten: \itclingcon: the next generation (2017)
  5. Dahlem, Marc; Jain, Tripti; Schneider, Klaus; Gillmann, Michael: Automatic synthesis of optimal-size concentrators by answer set programming (2017)
  6. Lierler, Yuliya: What is answer set programming to propositional satisfiability (2017)
  7. Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten: Automatic construction of parallel portfolios via algorithm configuration (2017)
  8. Merhej, Elie; Schockaert, Steven; De Cock, Martine: Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study (2017)
  9. Polash, Md Masbaul Alam; Newton, M. A. Hakim; Sattar, Abdul: Constraint-directed search for all-interval series (2017)
  10. Toda, Takahisa: Dualization of Boolean functions using ternary decision diagrams (2017)
  11. Alviano, Mario; Dodaro, Carmine: Anytime answer set optimization via unsatisfiable core shrinking (2016)
  12. Bischl, Bernd; Kerschke, Pascal; Kotthoff, Lars; Lindauer, Marius; Malitsky, Yuri; Fréchette, Alexandre; Hoos, Holger; Hutter, Frank; Leyton-Brown, Kevin; Tierney, Kevin; Vanschoren, Joaquin: ASlib: a benchmark library for algorithm selection (2016)
  13. Bogaerts, Bart; Janhunen, Tomi; Tasharrofi, Shahab: Stable-unstable semantics: beyond NP with normal logic programs (2016)
  14. Calimeri, Francesco; Gebser, Martin; Maratea, Marco; Ricca, Francesco: Design and results of the Fifth Answer Set Programming Competition (2016)
  15. Dodaro, Carmine; Gasteiger, Philip; Leone, Nicola; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn: Combining answer set programming and domain heuristics for solving hard industrial problems (application paper) (2016)
  16. Doherty, Patrick; Kvarnström, Jonas; Szałas, Andrzej: Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract) (2016)
  17. Wen, Lian; Wang, Kewen; Shen, Yi-Dong; Lin, Fangzhen: A model for phase transition of random answer-set programs (2016)
  18. Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco: Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3 (2015)
  19. Calautti, Marco; Greco, Sergio; Spezzano, Francesca; Trubitsyna, Irina: Checking termination of bottom-up evaluation of logic programs with function symbols (2015)
  20. Erdem, Esra; Oztok, Umut: Generating explanations for biomedical queries (2015)

1 2 3 4 next