Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

Research output: Contribution to journal › Article › peer-review

Original language	American English
Pages (from-to)	27-51
Number of pages	25
Journal	J. Satisf. Boolean Model. Comput.
Volume	9
Issue number	1
DOIs	https://doi.org/10.3233/sat190100
State	Published - 2014

Access to Document

TY - JOUR

T1 - Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores

AU - Nadel, Alexander

AU - Ryvchin, Vadim

AU - Strichman, Ofer

PY - 2014

Y1 - 2014

U2 - https://doi.org/10.3233/sat190100

DO - https://doi.org/10.3233/sat190100

M3 - Article

VL - 9

SP - 27

EP - 51

JO - J. Satisf. Boolean Model. Comput.

JF - J. Satisf. Boolean Model. Comput.

IS - 1

ER -