research
∙
05/30/2023
On the algebraic proof complexity of Tensor Isomorphism
The Tensor Isomorphism problem (TI) has recently emerged as having conne...
share
research
∙
02/15/2021
Depth lower bounds in Stabbing Planes for combinatorial principles
We prove logarithmic depth lower bounds in Stabbing Planes for the class...
research
∙
01/12/2021
Counting and localizing defective nodes by Boolean network tomography
Identifying defective items in larger sets is a main problem with many a...
research
∙
08/04/2020
Proof complexity and the binary encoding of combinatorial principles
We consider Proof Complexity in light of the unusual binary encoding of ...
research
∙
12/04/2018
Vertex-Connectivity Measures for Node Failure Identification in Boolean Network Tomography
We investigate three questions in Boolean Network Tomography, related to...
research
∙
09/08/2018
Resolution and the binary encoding of combinatorial principles
We investigate the size complexity of proofs in Res(s) -- an extension o...
research
∙
12/28/2017