Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches

Constraint answer set programming or CASP, for short, is a hybrid approach in automated reasoning putting together the advances of distinct research areas such as answer set programming, constraint processing, and satisfiability modulo theories. CASP demonstrates promising results, including the dev...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming Jg. 23; H. 1; S. 195 - 225
1. Verfasser:	LIERLER, YULIYA
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge Cambridge University Press 01.01.2023
Schlagworte:	Automated reasoning Automation Declarative programming Mathematical programming Solvers Traveling salesman problem
ISSN:	1471-0684, 1475-3081
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!