Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem.

Stphane Jacquet, Sylvain Hall

Browse the full IFM paper archive.