Author:
Papamakarios Theodoros,Razborov Alexander
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science,General Computer Science
Reference41 articles.
1. The relative efficiency of propositional proof systems;Cook;J. Symb. Log.,1979
2. Short proofs are narrow—resolution made simple;Ben-Sasson;J. ACM,2001
3. Using the Groebner basis algorithm to find proofs of unsatisfiability;Clegg,1996
4. Lower bounds for the polynomial calculus and the Gröbner basis algorithm;Impagliazzo;Comput. Complex.,1999
5. Space bounds for resolution;Esteban;Inf. Comput.,2001