111 citations · 139 across the 5 of their papers we have counts for
1 paper · 1 filter
Masood Feyzbakhsh Rankooh, Jussi Rintanen
We introduce novel methods for encoding acyclicity and s-t-reachability constraints for propositional formulas with underlying directed graphs. They are based on vertex elimination…