Resolution lower bounds for the weak pigeonhole principle
Journal of the ACM (JACM)
Annals of Mathematics and Artificial Intelligence
On finding short resolution refutations and small unsatisfiable subsets
Theoretical Computer Science - Parameterized and exact computation
Generalizing Boolean satisfiability I: background and survey of existing work
Journal of Artificial Intelligence Research
Optimality of size-degree tradeoffs for polynomial calculus
ACM Transactions on Computational Logic (TOCL)
An improved time-space lower bound for tautologies
Journal of Combinatorial Optimization
Complexity of propositional proofs
CSR'10 Proceedings of the 5th international conference on Computer Science: theory and Applications
Exponential lower bounds for DPLL algorithms on satisfiable random 3-CNF formulas
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Hi-index | 0.00 |