Alexander Nadel
Alexander Nadel
Reseacher and Engineer, Intel
Verified email at intel.com - Homepage
TitleCited byYear
A scalable algorithm for minimal unsatisfiable core extraction
N Dershowitz, Z Hanna, A Nadel
International Conference on Theory and Applications of Satisfiability …, 2006
872006
Boosting minimal unsatisfiable core extraction
A Nadel
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided …, 2010
862010
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
842007
Backtrack search algorithms for propositional logic satisfiability: Review and innovations
A Nadel, אלכסנדר נאדל
Hebrew University of Jerusalem, 2002
692002
A clause-based heuristic for SAT solvers
N Dershowitz, Z Hanna, A Nadel
International Conference on Theory and Applications of Satisfiability …, 2005
422005
Efficient SAT solving under assumptions
A Nadel, V Ryvchin
International Conference on Theory and Applications of Satisfiability …, 2012
402012
Efficient MUS extraction with resolution
A Nadel, V Ryvchin, O Strichman
2013 Formal Methods in Computer-Aided Design, 197-200, 2013
342013
Generating diverse solutions in SAT
A Nadel
International Conference on Theory and Applications of Satisfiability …, 2011
312011
Applying SMT in symbolic execution of microcode
A Franzén, A Cimatti, A Nadel, R Sebastiani, J Shalev
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided …, 2010
292010
Ultimately incremental SAT
A Nadel, V Ryvchin, O Strichman
International Conference on Theory and Applications of Satisfiability …, 2014
242014
Accelerated deletion-based extraction of minimal unsatisfiable cores
A Nadel, V Ryvchin, O Strichman
Journal on Satisfiability, Boolean Modeling and Computation 9, 27-51, 2014
212014
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
202007
Bit-vector optimization
A Nadel, V Ryvchin
International Conference on Tools and Algorithms for the Construction and …, 2016
182016
Eureka-2006 SAT solver
A Nadel, M Gordon, A Palti, Z Hanna
Solver description, SAT Race 2006, 2006
182006
Simultaneous SAT-based model checking of safety properties
Z Khasidashvili, A Nadel, A Palti, Z Hanna
Haifa Verification Conference, 56-75, 2005
182005
Efficient Generation of Small Interpolants in CNF
Y Vizel, V Ryvchin, A Nadel
172013
Understanding and improving a modern SAT solver
A Nadel
Tel Aviv University, 2009
162009
Chronological backtracking
A Nadel, V Ryvchin
International Conference on Theory and Applications of Satisfiability …, 2018
152018
Bit-vector rewriting with automatic rule generation
A Nadel
International Conference on Computer Aided Verification, 663-679, 2014
132014
Designers work less with quality formal equivalence checking
O Cohen, M Gordon, M Lifshits, A Nadel, V Ryvchin
Design and Verification Conference (DVCon), 2010
132010
The system can't perform the operation now. Try again later.
Articles 1–20