Dror Fried

Identifiers

• name variant Dror Fried 0.60 · backfill

Papers (6)

1. Efficient Incremental #SAT via Cross-Instance Knowledge Reuse cs.LO · 2026 · author #2
2. On-the-fly LTLf Synthesis under Partial Observability cs.LO · 2026 · author #4
3. Functional Synthesis via Input-Output Separation cs.LO · 2018 · author #2
4. An optimal approximation of discrete random variables with respect to the Kolmogorov distance cs.DS · 2018 · author #2
5. Constrained Sampling and Counting: Universal Hashing Meets SAT Solving cs.AI · 2015 · author #6
6. Complexity of Canadian Traveler Problem Variants cs.CC · 2012 · author #1

Mentions

• 1207.4710 #1 · backfill · confidence 0.70 Dror Fried

Frequent Coauthors

• Supratik Chakraborty 3 shared papers
• Lucas M. Tabajara 2 shared papers
• Moshe Y. Vardi 2 shared papers
• Alexander Ivrii 1 shared papers
• Alexandre Duret-Lutz 1 shared papers
• Amit Benbassat 1 shared papers
• Cenny Wenner 1 shared papers
• Daniel J. Fremont 1 shared papers
• Gera Weiss 1 shared papers
• Jean-Marie Lagniez 1 shared papers
• Kuldeep S. Meel 1 shared papers
• Liat Cohen 1 shared papers
• Moshe Vardi 1 shared papers
• Nadav Alon 1 shared papers
• Sanjit A. Seshia 1 shared papers
• Sharad Malik 1 shared papers
• Shufang Zhu 1 shared papers
• Solomon Eyal Shimony 1 shared papers
• Uriya Bartal 1 shared papers