An Alternative proof of SAT NP-Completeness
Date
2004Publisher city
ParisCollection title
Annales du LAMSADEDewey
Recherche opérationnelleSujet
NP-completeness; reductions; second order logic.Collections
Metadata
Show full item recordAuthor
Paschos, Vangelis
Escoffier, Bruno