Testing Unsatisfiability of Constraint Satisfaction Problems via Tensor Products

Open in new window