This page shows all presentations of this author published in EasyChair Smart Slide.
Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions
Qi Zhou, David Heath and William Harris