Alexander Nadel

45 papers A* 4A 16B 10Journal 7Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	From Decision Trees to Boolean Logic: A Fast and Unified SHAP Algorithm. AAAI Alexander Nadel, Ron Wettenstein
2025	A	`conf`	Enumerating All Boolean Matches. SAT Alexander Nadel, Yogev Shalmon
2025	J	`jnl`	From Decision Trees to Boolean Logic: A Fast and Unified SHAP Algorithm. CoRR Alexander Nadel, Ron Wettenstein
2024	A	`conf`	Entailing Generalization Boosts Enumeration. SAT Dror Fried, Alexander Nadel, Roberto Sebastiani, Yogev Shalmon
2024	J	`jnl`	TT-Open-WBO-Inc: An Efficient Anytime MaxSAT Solver. J. Satisf. Boolean Model. Comput. Alexander Nadel
2023	A	`conf`	AllSAT for Combinational Circuits. SAT Dror Fried, Alexander Nadel, Yogev Shalmon
2023	B	`ed.`	Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023 FMCAD Alexander Nadel, Kristin Yvonne Rozier
2023	A	`conf`	Solving Huge Instances with Intel(R) SAT Solver. SAT Alexander Nadel
2022	A	`conf`	Introducing Intel(R) SAT Solver. SAT Alexander Nadel
2021	—	`conf`	Local Search with a SAT Oracle for Combinatorial Optimization. TACAS (2) Aviad Cohen, Alexander Nadel, Vadim Ryvchin
2021	—	`ed.`	Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021. SMT Alexander Nadel, Aina Niemetz
2020	B	`conf`	Anytime Algorithms for MaxSAT and Beyond. FMCAD Alexander Nadel
2020	B	`conf`	On Optimizing a Generic Function in SAT. FMCAD Alexander Nadel
2020	J	`jnl`	Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT. J. Satisf. Boolean Model. Comput. Alexander Nadel
2019	B	`conf`	Anytime Weighted MaxSAT with Improved Polarity Selection and Bit-Vector Optimization. FMCAD Alexander Nadel
2018	A	`conf`	Chronological Backtracking. SAT Alexander Nadel, Vadim Ryvchin
2018	A	`conf`	Solving MaxSAT with Bit-Vector Optimization. SAT Alexander Nadel
2017	—	`conf`	A Correct-by-Decision Solution for Simultaneous Place and Route. CAV (2) Alexander Nadel
2017	—	`conf`	Solving Constraints over Bit-Vectors with SAT-based Model Checking. SMT Yakir Vizel, Alexander Nadel, Sharad Malik
2017	B	`conf`	Solving linear arithmetic with SAT-based model checking. FMCAD Yakir Vizel, Alexander Nadel, Sharad Malik
2016	A	`conf`	Bit-Vector Optimization. TACAS Alexander Nadel, Vadim Ryvchin
2016	B	`conf`	Routing under constraints. FMCAD Alexander Nadel
2015	J	`jnl`	Efficient generation of small interpolants in CNF. Formal Methods Syst. Des. Yakir Vizel, Alexander Nadel, Vadim Ryvchin
2015	—	`conf`	Finding Bounded Path in Graph Using SMT for Automatic Clock Routing. CAV (2) Amit Erez, Alexander Nadel
2014	J	`jnl`	Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores. J. Satisf. Boolean Model. Comput. Alexander Nadel, Vadim Ryvchin, Ofer Strichman
2014	A*	`conf`	Bit-Vector Rewriting with Automatic Rule Generation. CAV Alexander Nadel
2014	A	`conf`	Ultimately Incremental SAT. SAT Alexander Nadel, Vadim Ryvchin, Ofer Strichman
2013	A*	`conf`	Efficient Generation of Small Interpolants in CNF. CAV Yakir Vizel, Vadim Ryvchin, Alexander Nadel
2013	B	`conf`	Efficient MUS extraction with resolution. FMCAD Alexander Nadel, Vadim Ryvchin, Ofer Strichman
2012	A	`conf`	Efficient SAT Solving under Assumptions. SAT Alexander Nadel, Vadim Ryvchin
2012	A	`conf`	Preprocessing in Incremental SAT. SAT Alexander Nadel, Vadim Ryvchin, Ofer Strichman
2011	J	`jnl`	From Total Assignment Enumeration to Modern SAT Solver CoRR Nachum Dershowitz, Alexander Nadel
2011	A	`conf`	Generating Diverse Solutions in SAT. SAT Alexander Nadel
2011	—	`conf`	Implicative Simultaneous Satisfiability and Applications. Haifa Verification Conference Zurab Khasidashvili, Alexander Nadel
2010	B	`conf`	Applying SMT in symbolic execution of microcode. FMCAD Anders Franzén, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev
2010	A	`conf`	Assignment Stack Shrinking. SAT Alexander Nadel, Vadim Ryvchin
2010	B	`conf`	Boosting minimal unsatisfiable core extraction. FMCAD Alexander Nadel
2010	B	`conf`	SAT-based semiformal verification of hardware. FMCAD Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, Alexander Nadel
2009	—	`—`	Understanding and improving a modern SAT solver Alexander Nadel
2007	A*	`conf`	A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. CAV Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani
2007	A	`conf`	Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver. SAT Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
2006	J	`jnl`	A Scalable Algorithm for Minimal Unsatisfiable Core Extraction CoRR Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
2006	A	`conf`	A Scalable Algorithm for Minimal Unsatisfiable Core Extraction. SAT Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
2005	A	`conf`	A Clause-Based Heuristic for SAT Solvers. SAT Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
2005	—	`conf`	Simultaneous SAT-Based Model Checking of Safety Properties. Haifa Verification Conference Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna