… for computing constraint answer sets that extends a previous algorithm to compute standard
answer sets [19] by a CP “oracle.” The basic algorithm for finding standard answer sets is …

… is a collection of constraints of the form X −Y >K. We design and implement an algorithm
computing the answer sets of programs of AC0 which does not ground constraint variables and …

… Still, state-of-the-art answer set … answer set generation and constraint solving to reduce
the memory requirements for a class of multi-sorted logic programs with cardinality constraints. …

… integration of difference constraints. We show how the syntax of these constraints is added to
… We then develop in detail a corresponding theory propagator for difference constraints and …

… on handling constraint variables with large domains, and presented a strategy which only
consider parts of the model that actively contribute in supporting constraint answer sets. …

… with constraints over integers while preserving its declarative nature and excellent performance.
The resulting paradigm is called Constraint Answer Set … can solve constraint answer set …

… solving is to use a portfoliobased approach to ASP solving. The general idea is to identify a
set of different solving … tility in neighboring areas such as Constraint and SAT solving [36, 37]. …

… In this section we introduce the basic concepts of answer set and constraint answer set
programming as it is needed for the purposes of this article. In particular, we ignore disjunctive …

… At first, we detail how conflict constraints are extracted while solving a logic program and
turned into integrity constraints. Then, we describe how the obtained integrity constraints can be …

… The accompanying desire for transparent and elaboration-tolerant representation languages
along with the significant advance in Boolean Constraint Solving were then the two major …