Alexander Nadel
Alexander Nadel
Reseach Scientist, Intel
Verified email at intel.com - Homepage
Title
Cited by
Cited by
Year
Boosting minimal unsatisfiable core extraction
A Nadel
Formal Methods in Computer Aided Design, 221-229, 2010
1012010
A scalable algorithm for minimal unsatisfiable core extraction
N Dershowitz, Z Hanna, A Nadel
International Conference on Theory and Applications of Satisfiability …, 2006
982006
A Lazy and Layered SMT() Solver for Hard Industrial Verification Problems
R Bruttomesso, A Cimatti, A Franzén, A Griggio, Z Hanna, A Nadel, A Palti, ...
International Conference on Computer Aided Verification, 547-560, 2007
962007
Backtrack search algorithms for propositional logic satisfiability: Review and innovations
A Nadel
Hebrew University of Jerusalem, 2002
732002
Efficient SAT solving under assumptions
A Nadel, V Ryvchin
International Conference on Theory and Applications of Satisfiability …, 2012
552012
Chronological backtracking
A Nadel, V Ryvchin
International Conference on Theory and Applications of Satisfiability …, 2018
522018
A clause-based heuristic for SAT solvers
N Dershowitz, Z Hanna, A Nadel
International Conference on Theory and Applications of Satisfiability …, 2005
452005
Efficient MUS extraction with resolution
A Nadel, V Ryvchin, O Strichman
2013 Formal Methods in Computer-Aided Design, 197-200, 2013
402013
Generating diverse solutions in SAT
A Nadel
International Conference on Theory and Applications of Satisfiability …, 2011
362011
Applying SMT in symbolic execution of microcode
A Franzén, A Cimatti, A Nadel, R Sebastiani, J Shalev
Formal Methods in Computer Aided Design, 121-128, 2010
332010
Ultimately incremental SAT
A Nadel, V Ryvchin, O Strichman
International Conference on Theory and Applications of Satisfiability …, 2014
322014
Bit-vector optimization
A Nadel, V Ryvchin
International Conference on Tools and Algorithms for the Construction and …, 2016
292016
Accelerated deletion-based extraction of minimal unsatisfiable cores
A Nadel, V Ryvchin, O Strichman
Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 27-51, 2014
272014
Maple lcm dist chronobt: Featuring chronological backtracking
V Ryvchin, A Nadel
Proceedings of SAT competition 2018, 2018
242018
Towards a better understanding of the functionality of a conflict-driven SAT solver
N Dershowitz, Z Hanna, A Nadel
International Conference on Theory and Applications of Satisfiability …, 2007
232007
Simultaneous SAT-based model checking of safety properties
Z Khasidashvili, A Nadel, A Palti, Z Hanna
Haifa Verification Conference, 56-75, 2005
212005
Efficient Generation of Small Interpolants in CNF
Y Vizel, V Ryvchin, A Nadel
202013
Understanding and improving a modern SAT solver
A Nadel
Tel Aviv University, 2009
192009
Eureka-2006 SAT solver
A Nadel, M Gordon, A Palti, Z Hanna
Solver description, SAT Race 2006, 2006
182006
Bit-vector rewriting with automatic rule generation
A Nadel
International Conference on Computer Aided Verification, 663-679, 2014
162014
The system can't perform the operation now. Try again later.
Articles 1–20