Reducing hard SAT instances to polynomial ones.

Olivier Fourdrinoy, ric Grgoire, Bertrand Mazure, Lakhdar Sais

Browse the full IRI paper archive.