First Page | Document Content | |
---|---|---|
Date: 2010-09-03 07:57:16 | PARAMETERIZED PROOF COMPLEXITY Stefan Dantchev, Barnaby Martin, and Stefan Szeider Abstract. We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixed-parameter tractablAdd to Reading ListSource URL: www.bedewell.comDownload Document from Source WebsiteFile Size: 272,81 KBShare Document on Facebook |