SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)

Shen, Da ; Lierler, Yuliya 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Link zu diesem Datensatz

https://d-nb.info/1365339920

Titel

SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)

Art des Inhalts

Teil eines Werks

Verfassangaben

Da Shen, Yuliya Lierler

Autor(en)

• Shen, Da
• Lierler, Yuliya

Verlag

Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik [2018]

Jahr

Erscheinungsdatum: 2018

Umfang/Format

Online-Ressource

DOI

10.4230/OASIcs.ICLP.2018.11

Online

https://doi.org/10.4230/OASIcs.ICLP.2018.11

Sprache

eng

Schlagwörter

• answer set programming
• satisfiability modulo theories
• constraint satisfaction processing

Stand

13.05.2025 02:40

Im Katalog seit

07.03.2026

Beschreibung vom Verlag

Verlagstext laden