@inproceedings{10.1007/978-3-642-13182-0_32,
    Abstract = {The underlying question of propositional proof complexity is amazingly simple: when interesting propositional tautologies possess efficient (which usually means short) proofs in a given propositional proof system? This theory is extremely well connected to very different disciplines like computational complexity, theoretical cryptography, automated theorem proving, mathematical logic, algebra and geometry. And, given its mixed origins, methods and concepts employed in the area are also very diverse.},
    Address = {Berlin, Heidelberg},
    Author = {Razborov, Alexander},
    BookTitle = {Computer Science -- Theory and Applications},
    Editor = {Ablayev, Farid and Mayr, Ernst W.},
    File = {Complexity of Propositional Proofs - Razborov2010\_Chapter\_ComplexityOfPropositionalProof - a - a - i.pdf},
    ISBN = {978-3-642-13182-0},
    Pages = {340--342},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Complexity of Propositional Proofs},
    Year = {2010},
    date-added = {2019-10-14 18:01:03 +0200},
    date-modified = {2019-10-14 18:01:03 +0200},
    doi = {10.1007/978-3-642-13182-0_32}
}

@inproceedings{10.1007/978-3-642-13182-0_32, Abstract = {The underlying question of propositional proof complexity is amazingly simple: when interesting propositional tautologies possess efficient (which usually means short) proofs in a given propositional proof system? This theory is extremely well connected to very different disciplines like computational complexity, theoretical cryptography, automated theorem proving, mathematical logic, algebra and geometry. And, given its mixed origins, methods and concepts employed in the area are also very diverse.}, Address = {Berlin, Heidelberg}, Author = {Razborov, Alexander}, BookTitle = {Computer Science -- Theory and Applications}, Editor = {Ablayev, Farid and Mayr, Ernst W.}, File = {Complexity of Propositional Proofs - Razborov2010_Chapter_ComplexityOfPropositionalProof - a - a - i.pdf}, ISBN = {978-3-642-13182-0}, Pages = {340--342}, Publisher = {Springer Berlin Heidelberg}, Title = {Complexity of Propositional Proofs}, Year = {2010}, date-added = {2019-10-14 18:01:03 +0200}, date-modified = {2019-10-14 18:01:03 +0200}, doi = {10.1007/978-3-642-13182-0_32} }