Complexity of Propositional Proofs under a Promise

Nachum Dershowitz, Iddo Tzameret

Research output: Contribution to conferencePaperpeer-review

17 Downloads (Pure)
Original languageEnglish
Number of pages30
Publication statusPublished - 2007
EventProceedings of the 34th International Colloquium on Automata, Languages and Programming (ICALP) track A - Wraslaw, Poland
Duration: 10 Jul 2007 → …

Conference

ConferenceProceedings of the 34th International Colloquium on Automata, Languages and Programming (ICALP) track A
Country/TerritoryPoland
CityWraslaw
Period10/07/07 → …

Keywords

  • complexity theory

Cite this