The Minimal Logically-Defined NP-Complete Problem.

Rgis Barbanchon, Etienne Grandjean

Browse the full STACS paper archive.