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

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 23; no. 1; pp. 195 - 225
Main Author:	LIERLER, YULIYA
Format:	Journal Article
Language:	English
Published:	Cambridge Cambridge University Press 01.01.2023
Subjects:	Automated reasoning Automation Declarative programming Mathematical programming Solvers Traveling salesman problem
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!