 | 2011 |
|---|
| 12 |       | Alexander Nadel:
Generating Diverse Solutions in SAT.
SAT 2011: 287-301 |
| 11 | | Nachum Dershowitz,
Alexander Nadel:
From Total Assignment Enumeration to Modern SAT Solver
CoRR abs/1110.5867: (2011) |
| 2010 |
|---|
| 10 | | Anders Franzén,
Alessandro Cimatti,
Alexander Nadel,
Roberto Sebastiani,
Jonathan Shalev:
Applying SMT in symbolic execution of microcode.
FMCAD 2010: 121-128 |
| 9 | | Alexander Nadel:
Boosting minimal unsatisfiable core extraction.
FMCAD 2010: 221-229 |
| 8 | | Sabih Agbaria,
Dan Carmi,
Orly Cohen,
Dmitry Korchemny,
Michael Lifshits,
Alexander Nadel:
SAT-based semiformal verification of hardware.
FMCAD 2010: 25-32 |
| 7 | | Alexander Nadel,
Vadim Ryvchin:
Assignment Stack Shrinking.
SAT 2010: 375-381 |
| 2007 |
|---|
| 6 | | 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: 547-560 |
| 5 | | Nachum Dershowitz,
Ziyad Hanna,
Alexander Nadel:
Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver.
SAT 2007: 287-293 |
| 2006 |
|---|
| 4 | | Nachum Dershowitz,
Ziyad Hanna,
Alexander Nadel:
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction.
SAT 2006: 36-41 |
| 3 | | Nachum Dershowitz,
Ziyad Hanna,
Alexander Nadel:
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
CoRR abs/cs/0605085: (2006) |
| 2005 |
|---|
| 2 | | Zurab Khasidashvili,
Alexander Nadel,
Amit Palti,
Ziyad Hanna:
Simultaneous SAT-Based Model Checking of Safety Properties.
Haifa Verification Conference 2005: 56-75 |
| 1 | | Nachum Dershowitz,
Ziyad Hanna,
Alexander Nadel:
A Clause-Based Heuristic for SAT Solvers.
SAT 2005: 46-60 |
Data released under the ODC-BY 1.0 license — See also our legal information page