Alexander Nadel
Alexander Nadel
Reseacher and Engineer, Intel
Verified email at intel.com - Homepage
Title
Cited by
Cited by
Year
A scalable algorithm for minimal unsatisfiable core extraction
N Dershowitz, Z Hanna, A Nadel
International Conference on Theory and Applications of Satisfiability …, 2006
942006
Boosting minimal unsatisfiable core extraction
A Nadel
Formal Methods in Computer Aided Design, 221-229, 2010
932010
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
932007
Backtrack search algorithms for propositional logic satisfiability: Review and innovations
A Nadel
Hebrew University of Jerusalem, 2002
742002
Efficient SAT solving under assumptions
A Nadel, V Ryvchin
International Conference on Theory and Applications of Satisfiability …, 2012
482012
Chronological backtracking
A Nadel, V Ryvchin
International Conference on Theory and Applications of Satisfiability …, 2018
452018
A clause-based heuristic for SAT solvers
N Dershowitz, Z Hanna, A Nadel
International Conference on Theory and Applications of Satisfiability …, 2005
432005
Efficient MUS extraction with resolution
A Nadel, V Ryvchin, O Strichman
2013 Formal Methods in Computer-Aided Design, 197-200, 2013
362013
Generating diverse solutions in SAT
A Nadel
International Conference on Theory and Applications of Satisfiability …, 2011
352011
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
292014
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
Bit-vector optimization
A Nadel, V Ryvchin
International Conference on Tools and Algorithms for the Construction and …, 2016
242016
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
222007
Maple lcm dist chronobt: Featuring chronological backtracking
V Ryvchin, A Nadel
Proceedings of SAT competition 2018, 2018
212018
Efficient Generation of Small Interpolants in CNF
Y Vizel, V Ryvchin, A Nadel
192013
Understanding and improving a modern SAT solver
A Nadel
Tel Aviv University, 2009
192009
Simultaneous SAT-based model checking of safety properties
Z Khasidashvili, A Nadel, A Palti, Z Hanna
Haifa Verification Conference, 56-75, 2005
192005
Eureka-2006 SAT solver
A Nadel, M Gordon, A Palti, Z Hanna
Solver description, SAT Race 2006, 2006
182006
Designers work less with quality formal equivalence checking
O Cohen, M Gordon, M Lifshits, A Nadel, V Ryvchin
Design and Verification Conference (DVCon), 2010
162010
The system can't perform the operation now. Try again later.
Articles 1–20