A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition.
David A. Cohen, Peter Jeavons, Marc Gyssens
Browse the full IJCAI paper archive.
David A. Cohen, Peter Jeavons, Marc Gyssens
Browse the full IJCAI paper archive.