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á bibliografie

Vydáno 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:	angličtina
Vydáno:	Cambridge Cambridge University Press 01.01.2023
Témata:	Automated reasoning Automation Declarative programming Mathematical programming Solvers Traveling salesman problem
ISSN:	1471-0684, 1475-3081
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!