Testing Unsatisfiability of Constraint Satisfaction Problems via Tensor Products.

Daya Ram Gaur, Muhammad Khan

Browse the full ISAIM paper archive.