This page shows all presentations of this author published in EasyChair Smart Slide.
SMT-based Answer Set Solver CMODELS(DIFF)
Da Shen and Yuliya Lierler