SAT Modulo Graphs: Acyclicity.

Martin Gebser, Tomi Janhunen, Jussi Rintanen

Browse the full JELIA paper archive.