Skip to main content
Unpublished Paper
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
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.

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/