| 2007 | ||
|---|---|---|
| 5 | EE | Nachum Dershowitz, Iddo Tzameret: Complexity of Propositional Proofs Under a Promise. ICALP 2007: 291-302 |
| 4 | EE | Nachum Dershowitz, Iddo Tzameret: Complexity of Propositional Proofs under a Promise CoRR abs/0707.4255: (2007) |
| 3 | EE | Ran Raz, Iddo Tzameret: Resolution over Linear Equations and Multilinear Proofs CoRR abs/0708.1529: (2007) |
| 2006 | ||
| 2 | EE | Ran Raz, Iddo Tzameret: The Strength of Multilinear Proofs Electronic Colloquium on Computational Complexity (ECCC)(001): (2006) |
| 2003 | ||
| 1 | EE | Nachum Dershowitz, Iddo Tzameret: Gap Embedding for Well-Quasi-Orderings. Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 1 | Nachum Dershowitz | [1] [4] [5] |
| 2 | Ran Raz | [2] [3] |