Efficient Propagation of Disjunctive Constraints using Watched Literals
Karen Petrie with Chris Jefferson
Details
| Journal |
In Proc. ModRef 2008 |
| Year |
2008 |
Karen Petrie with Chris Jefferson
| Journal |
In Proc. ModRef 2008 |
| Year |
2008 |