16 search results - page 4 / 4 » A new proof of the graph removal lemma |
FOCS
2009
IEEE
14 years 27 days ago
2009
IEEE
— In a landmark paper [32], Papadimitriou introduced a number of syntactic subclasses of TFNP based on proof styles that (unlike TFNP) admit complete problems. A recent series of...