SAT Modulo Graphs: Acyclicity

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11558-0_10 ◽

2014 ◽

pp. 137-151 ◽

Cited By ~ 9

Author(s):

Martin Gebser ◽

Tomi Janhunen ◽

Jussi Rintanen

Download Full-text