Alexander Nadel

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 16

Top Topics

Combinatorial Optimization

Propositional Satisfiability

Top Venues

J. Satisf. Boolean Model. Comput.

Publications

Dror Fried, Alexander Nadel, Roberto Sebastiani, Yogev Shalmon
Entailing Generalization Boosts Enumeration. SAT (2024)
Dror Fried, Alexander Nadel, Yogev Shalmon
AllSAT for Combinational Circuits. SAT (2023)
Alexander Nadel
Solving Huge Instances with Intel(R) SAT Solver. SAT (2023)
Alexander Nadel
Introducing Intel(R) SAT Solver. SAT (2022)
Aviad Cohen, Alexander Nadel, Vadim Ryvchin
Local Search with a SAT Oracle for Combinatorial Optimization. TACAS (2) (2021)
Alexander Nadel
On Optimizing a Generic Function in SAT. FMCAD (2020)
Alexander Nadel
Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT. J. Satisf. Boolean Model. Comput. 12 (1) (2020)
Alexander Nadel
Anytime Algorithms for MaxSAT and Beyond. FMCAD (2020)
Alexander Nadel
Anytime Weighted MaxSAT with Improved Polarity Selection and Bit-Vector Optimization. FMCAD (2019)
Alexander Nadel, Vadim Ryvchin
Chronological Backtracking. SAT (2018)
Alexander Nadel
Solving MaxSAT with Bit-Vector Optimization. SAT (2018)
Yakir Vizel, Alexander Nadel, Sharad Malik
Solving Constraints over Bit-Vectors with SAT-based Model Checking. SMT (2017)
Yakir Vizel, Alexander Nadel, Sharad Malik
Solving linear arithmetic with SAT-based model checking. FMCAD (2017)
Alexander Nadel
A Correct-by-Decision Solution for Simultaneous Place and Route. CAV (2) (2017)
Alexander Nadel, Vadim Ryvchin
Bit-Vector Optimization. TACAS (2016)
Alexander Nadel
Routing under constraints. FMCAD (2016)
Amit Erez, Alexander Nadel
Finding Bounded Path in Graph Using SMT for Automatic Clock Routing. CAV (2) (2015)
Yakir Vizel, Alexander Nadel, Vadim Ryvchin
Efficient generation of small interpolants in CNF. Formal Methods Syst. Des. 47 (1) (2015)
Alexander Nadel, Vadim Ryvchin, Ofer Strichman
Ultimately Incremental SAT. SAT (2014)
Alexander Nadel
Bit-Vector Rewriting with Automatic Rule Generation. CAV (2014)
Alexander Nadel, Vadim Ryvchin, Ofer Strichman
Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Alexander Nadel, Vadim Ryvchin, Ofer Strichman
Efficient MUS extraction with resolution. FMCAD (2013)
Yakir Vizel, Vadim Ryvchin, Alexander Nadel
Efficient Generation of Small Interpolants in CNF. CAV (2013)
Alexander Nadel, Vadim Ryvchin
Efficient SAT Solving under Assumptions. SAT (2012)
Alexander Nadel, Vadim Ryvchin, Ofer Strichman
Preprocessing in Incremental SAT. SAT (2012)
Alexander Nadel
Generating Diverse Solutions in SAT. SAT (2011)
Nachum Dershowitz, Alexander Nadel
From Total Assignment Enumeration to Modern SAT Solver CoRR (2011)
Zurab Khasidashvili, Alexander Nadel
Implicative Simultaneous Satisfiability and Applications. Haifa Verification Conference (2011)
Anders Franzén, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev
Applying SMT in symbolic execution of microcode. FMCAD (2010)
Alexander Nadel, Vadim Ryvchin
Assignment Stack Shrinking. SAT (2010)
Alexander Nadel
Boosting minimal unsatisfiable core extraction. FMCAD (2010)
Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, Alexander Nadel
SAT-based semiformal verification of hardware. FMCAD (2010)
Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver. SAT (2007)
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. CAV (2007)
Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction CoRR (2006)
Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction. SAT (2006)
Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
A Clause-Based Heuristic for SAT Solvers. SAT (2005)
Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna
Simultaneous SAT-Based Model Checking of Safety Properties. Haifa Verification Conference (2005)