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...

Celý popis

Podrobná bibliografia

Vydané v:	Theory and practice of logic programming Ročník 23; číslo 1; s. 195 - 225
Hlavný autor:	LIERLER, YULIYA
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge Cambridge University Press 01.01.2023
Predmet:	Automated reasoning Automation Declarative programming Mathematical programming Solvers Traveling salesman problem
ISSN:	1471-0684, 1475-3081
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!