39 citations · 161 across the 21 of their papers we have counts for
1 paper · 1 filter
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…