Alexander Nadel

According to our database, Alexander Nadel authored at least 36 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Solving Huge Instances with Intel(R) SAT Solver.

Alexander Nadel

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

AllSAT for Combinational Circuits.

Dror Fried, Alexander Nadel, Yogev Shalmon

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2022

Introducing Intel(R) SAT Solver.

Alexander Nadel

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021

Local Search with a SAT Oracle for Combinatorial Optimization.

Aviad Cohen, Alexander Nadel, Vadim Ryvchin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT.

Alexander Nadel

J. Satisf. Boolean Model. Comput., 2020

On Optimizing a Generic Function in SAT.

Alexander Nadel

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Anytime Algorithms for MaxSAT and Beyond.

Alexander Nadel

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Anytime Weighted MaxSAT with Improved Polarity Selection and Bit-Vector Optimization.

Alexander Nadel

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

Chronological Backtracking.

Alexander Nadel, Vadim Ryvchin

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Solving MaxSAT with Bit-Vector Optimization.

Alexander Nadel

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

2017

Solving Constraints over Bit-Vectors with SAT-based Model Checking.

Yakir Vizel, Alexander Nadel, Sharad Malik

Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017

Solving linear arithmetic with SAT-based model checking.

Yakir Vizel, Alexander Nadel, Sharad Malik

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

A Correct-by-Decision Solution for Simultaneous Place and Route.

Alexander Nadel

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Bit-Vector Optimization.

Alexander Nadel, Vadim Ryvchin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Routing under constraints.

Alexander Nadel

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Efficient generation of small interpolants in CNF.

Yakir Vizel, Alexander Nadel, Vadim Ryvchin

Formal Methods Syst. Des., 2015

Finding Bounded Path in Graph Using SMT for Automatic Clock Routing.

Amit Erez, Alexander Nadel

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores.

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

J. Satisf. Boolean Model. Comput., 2014

Ultimately Incremental SAT.

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Bit-Vector Rewriting with Automatic Rule Generation.

Alexander Nadel

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Efficient MUS extraction with resolution.

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Preprocessing in Incremental SAT.

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Efficient SAT Solving under Assumptions.

Alexander Nadel, Vadim Ryvchin

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

From Total Assignment Enumeration to Modern SAT Solver

Nachum Dershowitz, Alexander Nadel

CoRR, 2011

Generating Diverse Solutions in SAT.

Alexander Nadel

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Implicative Simultaneous Satisfiability and Applications.

Zurab Khasidashvili, Alexander Nadel

Proceedings of the Hardware and Software: Verification and Testing, 2011

2010

Assignment Stack Shrinking.

Alexander Nadel, Vadim Ryvchin

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Boosting minimal unsatisfiable core extraction.

Alexander Nadel

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Applying SMT in symbolic execution of microcode.

Anders Franzén, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

SAT-based semiformal verification of hardware.

Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, Alexander Nadel

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Understanding and improving a modern SAT solver

Alexander Nadel

PhD thesis, 2009

2007

Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver.

Nachum Dershowitz, Ziyad Hanna, Alexander Nadel

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.

Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

A Scalable Algorithm for Minimal Unsatisfiable Core Extraction.

Nachum Dershowitz, Ziyad Hanna, Alexander Nadel

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2005

A Clause-Based Heuristic for SAT Solvers.

Nachum Dershowitz, Ziyad Hanna, Alexander Nadel

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Simultaneous SAT-Based Model Checking of Safety Properties.

Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna

Proceedings of the Hardware and Software Verification and Testing, 2005