Title :
Propositional Proof Complexity: A Survey on the State of the Art, Including Some Recent Results
fDate :
6/1/2011 12:00:00 AM
Keywords :
"Computer science","Complexity theory"
Conference_Titel :
Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on
Print_ISBN :
978-1-4577-0451-2
DOI :
10.1109/LICS.2011.42
