Clingcon is a hybrid solver combining the monolithic answer set solver Clingo and the CSP solver Gecode. Clingcon is an answer set solver for (extended) constraint normal logic programs. It combines the high-level modeling capacities of Answer Set Programming (ASP) with constraint solving. Constraints over non-linear finite integers can be used in the logic programs. The primary clingcon algorithm adopts state-of-the-art techniques from SMT and uses conflict-driven learning and theory propagation for the CSP solver.

References in zbMATH (referenced in 14 articles )

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

  1. Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph: Domain expansion for ASP-programs with external sources (2016)
  2. Lierler, Yuliya; Truszczynski, Miroslaw: On abstract modular inference systems and solvers (2016)
  3. Lierler, Yuliya: Relating constraint answer set programming languages and algorithms (2014)
  4. Aziz, Rehan Abdul; Chu, Geoffrey; Stuckey, Peter J.: Stable model semantics for founded bounds (2013)
  5. De Cat, Broes; Bruynooghe, Maurice: Detection and exploitation of functional dependencies for model generation (2013)
  6. Giordano, Laura; Martelli, Alberto; Spiotta, Matteo; Dupré, Daniele Theseider: Business process verification with constraint temporal answer set programming (2013)
  7. Liu, Xudong; Truszczynski, Miroslaw: Aggregating conditionally lexicographic preferences using answer set programming solvers (2013)
  8. Balduccini, Marcello: An answer set solver for non-Herbrand programs: progress report (2012)
  9. Drescher, Christian; Walsh, Toby: Answer set solving with lazy nogood generation (2012)
  10. Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten: Conflict-driven answer set solving: from theory to practice (2012)
  11. Drescher, Christian: Constraint answer set programming systems (2010)
  12. Drescher, Christian; Walsh, Toby: A translational approach to constraint answer set solving (2010)
  13. Wang, Yisong; You, Jia-Huai; Lin, Fangzhen; Yuan, Li Yan; Zhang, Mingyi: Weight constraint programs with evaluable functions (2010)
  14. Balduccini, Marcello: CR-Prolog as a specification language for constraint satisfaction problems (2009)