`Travelled to:`

1 × Croatia

1 × Denmark

1 × Poland

1 × USA

`Collaborated with:`

∅ S.Müller P.Hrubes N.Dershowitz

`Talks about:`

proof (3) proposit (2) theori (2) random (2) short (2) refut (2) algorithm (1) interpol (1) determin (1) sparser (1)

## Person: Iddo Tzameret

### DBLP: Tzameret:Iddo

### Contributed to:

### Wrote 5 papers:

- ICALP-v1-2014-Tzameret #algorithm #problem #random #satisfiability
- Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem — (IT), pp. 1015–1026.
- LICS-2012-MullerT #random
- Short Propositional Refutations for Dense Random 3CNF Formulas (SM, IT), pp. 501–510.
- STOC-2012-HrubesT #proving
- Short proofs for the determinant identities (PH, IT), pp. 193–212.
- ICALP-2007-DershowitzT #complexity #proving
- Complexity of Propositional Proofs Under a Promise (ND, IT), pp. 291–302.
- CSL-2020-Tzameret #bound #proving
- From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk) (IT), p. 2.