Yuliya Lierler -

Not registered as user yet

Name:Yuliya Lierler

Affiliation:University of Nebraska

Personal website:http://faculty.ist.unomaha.edu/ylierler/

Contributions

PADL 2021	Keynote Speaker of SMT-based Constraint Answer Set Solver EZSMT within the PADL 2021-track
PADL 2019	Author of Strong Equivalence and Program's Structure in Arguing Essential Equivalence within the PADL 2019-track Author of Automatic Program Rewriting in Non-Ground Answer Set Programs within the PADL 2019-track
PADL 2017	Committee Member in Organizing Committee within the PADL-track Session Chair of Opening remarks (part of PADL)