Concepedia

Alexander Nadel

AN

Statistics

Publications

7

Citations

197

H-Index

7

Active since

2010

Affiliations

Intel (Israel)(Current)

Israel Electric (Israel)

Intel (United States)

Technion – Israel Institute of Technology

Alexander Nadel is an author at Intel (Israel) specializing in computer science, computing, and algorithms.

ORCID

Publications per year

2010–2020

7

Publications

7

Boosting minimal unsatisfiable core extraction

Alexander Nadel · 2010 · 76 citations

, , +8

Efficient MUS extraction with resolution

Alexander Nadel, Vadim Ryvchin, Ofer Strichman · 2013 · 30 citations

, , +9

Applying SMT in symbolic execution of microcode

Anders Franzén, Alessandro Cimatti, Alexander Nadel et al. · Institutional Research Information System (Università degli Studi di Trento) · 2010 · 24 citations · Full text

, , +15

Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores

Alexander Nadel, Vadim Ryvchin, Ofer Strichman · Journal on Satisfiability Boolean Modeling and Computation · 2014 · 24 citations · Full text

, , +8

Anytime Weighted MaxSAT with Improved Polarity Selection and Bit-Vector Optimization

Alexander Nadel · 2019 · 21 citations

, , +11

1–5 of 7