57 citations · 78 across the 5 of their papers we have counts for
1 paper · 2 filters
Michael Codish, Vitaly Lagoon, Peter J. Stuckey
This paper introduces a new kind of propositional encoding for reasoning about partial orders. The symbols in an unspecified partial order are viewed as variables which take intege…