Nachum Dershowitz
Identifiers
- name variant Nachum Dershowitz 0.60 · backfill
Papers (12)
- Complex Layout Classification in the Wild: A Low-Resource Approach with Layout-Preserving Augmentations cs.CV · 2026 · author #8
- Bag of Bags: Adaptive Visual Vocabularies for Genizah Join Image Retrieval cs.CV · 2026 · author #6
- Semantic Characteristics of Schizophrenic Speech cs.CL · 2019 · author #5
- 1700 Forests cs.DM · 2016 · author #1
- Cellular Automata are Generic cs.LO · 2015 · author #1
- From Total Assignment Enumeration to Modern SAT Solver cs.LO · 2011 · author #1
- Space-Efficient Bounded Model Checking cs.LO · 2007 · author #3
- Complexity of Propositional Proofs under a Promise cs.CC · 2007 · author #1
- Enumeration Problems Related to Ground Horn Theories cs.LO · 2006 · author #1
- Abstract Canonical Inference cs.LO · 2004 · author #2
- Ground Canonicity cs.LO · 2003 · author #1
- Automatic Termination Analysis of Programs Containing Arithmetic Predicates cs.PL · 2000 · author #1
Mentions
- 2606.17355 #8 · arxiv_oai · confidence 0.70 Nachum Dershowitz
- 1504.03013 #1 · backfill · confidence 0.70 Nachum Dershowitz
- 1110.5867 #1 · backfill · confidence 0.70 Nachum Dershowitz
- 0710.4629 #3 · backfill · confidence 0.70 Nachum Dershowitz
- 0707.4255 #1 · backfill · confidence 0.70 Nachum Dershowitz
Frequent Coauthors
- Berat Kurar-Barakat 2 shared papers
- Daria Vasyutinsky-Shapira 2 shared papers
- Gal Grudka 2 shared papers
- Omer Ventura 2 shared papers
- Sharva Gogawale 2 shared papers
- Alexander Nadel 1 shared papers
- Alexander Serebrenik 1 shared papers
- Eiran Vadim Harel 1 shared papers
- Evgenia Falkovich 1 shared papers
- Guan-Shieng Huang 1 shared papers
- Heli Baram 1 shared papers
- Iddo Hakim 1 shared papers
- Iddo Tzameret 1 shared papers
- Ido Ziv 1 shared papers
- Jacob Katz 1 shared papers
- Kfir Bar 1 shared papers
- Maria Paola Bonacina 1 shared papers
- Mitchell A. Harris 1 shared papers
- Mohammad Suliman 1 shared papers
- Naomi Lindenstrauss 1 shared papers