 | 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 |
