Recent Publications

. Finding graph decompositions via SAT. In ICTAI, 2017.

PDF

. Parallelizing Partial MUS Enumeration. In ICTAI, 2016.

PDF