The Minimal Logically-Defined NP-Complete Problem

Régis Barbanchon, Etienne Grandjean. The Minimal Logically-Defined NP-Complete Problem. In Volker Diekert, Michel Habib, editors, STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings. Volume 2996 of Lecture Notes in Computer Science, pages 338-349, Springer, 2004. [doi]

Authors

Régis Barbanchon

This author has not been identified. Look up 'Régis Barbanchon' in Google

Etienne Grandjean

This author has not been identified. Look up 'Etienne Grandjean' in Google