A Linear Characterization of NP-Complete Problems.

Silvio Ursic

Browse the full CADE paper archive.