"ICLP Tutorial: Relating Constraint Answer Set Programming and Satisfiability Modulo Theories" by Yuliya Lierler

Selected Works of Yuliya Lierler

Follow Contact

Presentation

ICLP Tutorial: Relating Constraint Answer Set Programming and Satisfiability Modulo Theories

32nd International Conference on Logic Programming (2016)

Yuliya Lierler

Download

Keywords

Constraint Answer Set Programming,
Satisfiability Modulo Theories

Disciplines

Artificial Intelligence and Robotics and
Theory and Algorithms

Publication Date

Fall 2016

Citation Information

Yuliya Lierler. "ICLP Tutorial: Relating Constraint Answer Set Programming and Satisfiability Modulo Theories" 32nd International Conference on Logic Programming (2016)
Available at: http://works.bepress.com/yuliya_lierler/68/