Optimal Refutations for Constraint Satisfaction Problems.

Tudor Hulubei, Barry O'Sullivan

Browse the full IJCAI paper archive.