Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Alexander Nadel, Vadim Ryvchin, Ofer Strichman. Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores. JSAT, 9:27-51, 2014. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Boosting minimal unsatisfiable core extractionAlexander Nadel. FMCAD 2010: 221-229 [doi] Minimal unsatisfiable core extraction for SMTOfer Guthmann, Ofer Strichman, Anna Trostanetski. FMCAD 2016: 57-64 [doi] Faster Extraction of High-Level Minimal Unsatisfiable CoresVadim Ryvchin, Ofer Strichman. sat 2011: 174-187 [doi] A Scalable Algorithm for Minimal Unsatisfiable Core ExtractionNachum Dershowitz, Ziyad Hanna, Alexander Nadel. sat 2006: 36-41 [doi]
The following publications are possibly variants of this publication: