\textit{clingcon}: the next generation (Q4593092)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: \textit{clingcon}: the next generation |
scientific article; zbMATH DE number 6804637
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | \textit{clingcon}: 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
0.9265084266662598
0 references
0.8459528684616089
0 references
0.8453197479248047
0 references
0.8358333110809326
0 references
0.8083655834197998
0 references
