<i>Clingcon</i>: The next generation (Q4593092)
From MaRDI portal
scientific article; zbMATH DE number 6804637
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | <i>Clingcon</i>: The next generation |
scientific article; zbMATH DE number 6804637 |
Statements
<i>Clingcon</i>: The next generation (English)
0 references
9 November 2017
0 references
constraint answer set programming (CASP)
0 references
answer set programming (ASP)
0 references
SAT modulo theories (SMT)
0 references
constraint programming (CP)
0 references
0 references
