"SMT-based Constraint Answer Set Solver EZSMT" by Yuliya Lierler

Selected Works of Yuliya Lierler

Follow Contact

Presentation

SMT-based Constraint Answer Set Solver EZSMT

Midwest Verification Day (MVD), University of Iowa (2018)

Yuliya Lierler

Download

Disciplines

Computer Sciences

Publication Date

September 28, 2018

Location

USA

Citation Information

Yuliya Lierler. "SMT-based Constraint Answer Set Solver EZSMT" Midwest Verification Day (MVD), University of Iowa (2018)
Available at: http://works.bepress.com/yuliya_lierler/88/