![](/img/cover-not-exists.png)
[IEEE 2007 IEEE International Conference on Information Reuse and Integration - Las Vegas, NV, USA (2007.08.13-2007.08.15)] 2007 IEEE International Conference on Information Reuse and Integration - Reducing hard SAT instances to polynomial ones
Fourdrinoy, Olivier, Gregoire, Eric, Mazure, Bertrand, Sais, LakhdarYear:
2007
Language:
english
DOI:
10.1109/iri.2007.4296591
File:
PDF, 294 KB
english, 2007