Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination.

Masood Feyzbakhsh Rankooh, Jussi Rintanen

Browse the full AAAI paper archive.