25 citations · 79 across the 35 of their papers we have counts for
Showing 2006 · cs.LOShow all
2 papers · 2 filters
cs.LO2006★ 2 cited
Enumeration Problems Related to Ground Horn Theories
Nachum Dershowitz, Mitchell A. Harris, Guan-Shieng Huang
We investigate the enumeration of varieties of boolean theories related to Horn clauses. We describe a number of combinatorial equivalences among different characterizations and ca…
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…