Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli | computational complexity |
| 1 | 2021 |
Essential positive covers of the cube | Journal of Combinatorial Theory, Series A |
| 2 | 2013 |
Covering all points except one | Journal of Algebraic Combinatorics |
| 9 | 2010 |
Resolution over linear equations and multilinear proofs | Annals of Pure and Applied Logic |
| 11 | 2008 |
Essential covers of the cube by hyperplanes | Journal of Combinatorial Theory, Series A |
| 5 | 2005 |