BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tzameret:Iddo

Contributed to:

ICALP (1) 20142014
LICS 20122012
STOC 20122012
ICALP 20072007
CSL 20202020

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.