8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.LO2007★ 8 cited
Space-Efficient Bounded Model Checking
Jacob Katz, Ziyad Hanna, Nachum Dershowitz
Current algorithms for bounded model checking use SAT methods for checking satisfiability of Boolean formulae. These methods suffer from the potential memory explosion problem. Met…
cs.LO2006
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
We propose a new algorithm for minimal unsatisfiable core extraction, based on a deeper exploration of resolution-refutation properties. We provide experimental results on formal v…