Follow
Alexander Nadel
Alexander Nadel
Reseach Scientist, 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
1082006
Boosting minimal unsatisfiable core extraction
A Nadel
Formal Methods in Computer Aided Design, 221-229, 2010
1072010
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
1032007
Chronological backtracking
A Nadel, V Ryvchin
International Conference on Theory and Applications of Satisfiability …, 2018
782018
Backtrack search algorithms for propositional logic satisfiability: Review and innovations
A Nadel
Hebrew University of Jerusalem, 2002
752002
Efficient SAT solving under assumptions
A Nadel, V Ryvchin
International Conference on Theory and Applications of Satisfiability …, 2012
562012
A clause-based heuristic for SAT solvers
N Dershowitz, Z Hanna, A Nadel
International conference on theory and applications of satisfiability …, 2005
462005
Efficient MUS extraction with resolution
A Nadel, V Ryvchin, O Strichman
2013 Formal Methods in Computer-Aided Design, 197-200, 2013
452013
Generating diverse solutions in SAT
A Nadel
International Conference on Theory and Applications of Satisfiability …, 2011
422011
Ultimately incremental SAT
A Nadel, V Ryvchin, O Strichman
International Conference on Theory and Applications of Satisfiability …, 2014
372014
Bit-vector optimization
A Nadel, V Ryvchin
International Conference on Tools and Algorithms for the Construction and …, 2016
342016
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
Maple lcm dist chronobt: Featuring chronological backtracking
V Ryvchin, A Nadel
Proceedings of SAT competition 2018, 2018
322018
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
302014
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
292007
Understanding and improving a modern SAT solver
A Nadel
Tel Aviv University, 2009
212009
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
Anytime weighted MaxSAT with improved polarity selection and bit-vector optimization
A Nadel
2019 Formal Methods in Computer Aided Design (FMCAD), 193-202, 2019
192019
Bit-vector rewriting with automatic rule generation
A Nadel
International Conference on Computer Aided Verification, 663-679, 2014
192014
The system can't perform the operation now. Try again later.
Articles 1–20