AAAI Publications, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning

Font Size: 
SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs
Da Shen, Yuliya Lierler

Last modified: 2018-09-24


Constraint answer set programming integrates answer set programming with constraint processing. System EZSMT+ is a constraint answer set programming tool that utilizes satisfiability modulo theory solvers for search. The truly unique feature of EZSMT+ is its capability to process linear as well as nonlinear constraints simultaneously containing integer and real variables.


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

Full Text: PDF