"SMT-based Constraint Answer Set Solver EZSMT+ for Non-tight Programs" by Da Shen

Selected Works of Yuliya Lierler

Follow Contact

Article

SMT-based Constraint Answer Set Solver EZSMT+ for Non-tight Programs

16th International Conference on Principles of Knowledge Representation and Reasoning (2018)

Da Shen, University of Nebraska at Omaha
Yuliya Lierler

Download

Abstract

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.

Disciplines

Computer Sciences,
Artificial Intelligence and Robotics and
Theory and Algorithms

Publication Date

October, 2018

Citation Information

Da Shen and Yuliya Lierler. "SMT-based Constraint Answer Set Solver EZSMT+ for Non-tight Programs" 16th International Conference on Principles of Knowledge Representation and Reasoning (2018)
Available at: http://works.bepress.com/yuliya_lierler/80/