| Publication | Date of Publication | Type |
|---|
| On vanishing sums of roots of unity in polynomial calculus and sum-of-squares | 2024-08-06 | Paper |
| On vanishing sums of roots of unity in polynomial calculus and sum-of-squares | 2024-01-24 | Paper |
| Circular (Yet Sound) Proofs in Propositional Logic | 2023-07-18 | Paper |
| On the maximal part in unrefinable partitions of triangular numbers | 2023-04-19 | Paper |
| Verification and generation of unrefinable partitions | 2023-02-03 | Paper |
| Clique Is Hard on Average for Regular Resolution | 2022-12-08 | Paper |
| Verification and generation of unrefinable partitions | 2021-12-30 | Paper |
| On the maximal part in unrefinable partitions of triangular numbers | 2021-11-22 | Paper |
| Upper bounds on positional Paris-Harrington games | 2021-01-27 | Paper |
| Graph colouring is hard for algorithms based on Hilbert's Nullstellensatz and Gröbner bases | 2020-05-26 | Paper |
| Circular (yet sound) proofs | 2020-05-20 | Paper |
| A rank lower bound for cutting planes proofs of Ramsey's theorem | 2019-12-06 | Paper |
| Clique is hard on average for regular resolution | 2019-08-22 | Paper |
| Algorithm analysis through proof complexity | 2018-09-06 | Paper |
| A note about \(k\)-DNF resolution | 2018-06-15 | Paper |
| On semantic cutting planes with very small coefficients | 2018-05-25 | Paper |
| Cliques enumeration and tree-like resolution proofs | 2018-04-05 | Paper |
| The complexity of proving that a graph is Ramsey | 2018-03-16 | Paper |
| Tight size-degree bounds for sums-of-squares proofs | 2018-01-24 | Paper |
| Semantic versus syntactic cutting planes | 2018-01-24 | Paper |
| Tight size-degree bounds for sums-of-squares proofs | 2017-12-18 | Paper |
| A lower bound for the pigeonhole principle in tree-like resolution by asymmetric prover-delayer games | 2017-11-03 | Paper |
| On the proof complexity of Paris-Harrington and off-diagonal Ramsey tautologies | 2017-07-13 | Paper |
| From small space to small width in resolution | 2017-07-12 | Paper |
| Narrow proofs may be maximally long | 2017-07-12 | Paper |
| From small space to small width in resolution | 2017-03-03 | Paper |
| Trade-offs between time and memory in a tighter model of CDCL SAT solvers | 2016-09-05 | Paper |
| Parameterized bounded-depth Frege is not optimal | 2015-09-24 | Paper |
| Optimality of size-degree tradeoffs for polynomial calculus | 2015-09-17 | Paper |
| Parameterized Complexity of DPLL Search Procedures | 2015-09-17 | Paper |
| Space Complexity in Polynomial Calculus | 2015-09-02 | Paper |
| A characterization of tree-like resolution size | 2014-04-11 | Paper |
| Towards an understanding of polynomial calculus: new separations and lower bounds (extended abstract) | 2013-08-06 | Paper |
| The complexity of proving that a graph is Ramsey | 2013-08-06 | Paper |
| A rank lower bound for cutting planes proofs of Ramsey's theorem | 2013-08-05 | Paper |
| Parameterized bounded-depth Frege is not optimal | 2011-07-06 | Paper |
| Parameterized complexity of DPLL search procedures | 2011-06-17 | Paper |
| On the automatizability of polynomial calculus | 2010-10-06 | Paper |
| Minimum Energy Broadcast and Disk Cover in Grid Wireless Networks | 2009-03-12 | Paper |
| Minimum-energy broadcast and disk cover in grid wireless networks | 2008-06-24 | Paper |
| On the bounded-hop MST problem on random Euclidean instances | 2007-10-02 | Paper |
| Structural Information and Communication Complexity | 2005-11-30 | Paper |
