SAT modulo Graphs: Acyclicity Jussi Rintanen Department of Information and Computer Science Aalto University, Finland (Also affiliated with Griffith University, Brisbane, Australia, and the Helsinki Institute of Information Technology, Finland.) Joint work with Martin Gebser and Tomi Janhunen September 2014 Jussi Rintanen (Aalto U, Dept of ICS) SAT modulo Graphs: Acyclicity JELIA 2014 1 / 16