A Scalable Algorithm for Minimal Unsatisfiable Core Extraction

From MaRDI portal
Publication:5756585

DOI10.1007/11814948_5zbMath1187.68538arXivcs/0605085OpenAlexW1630321466MaRDI QIDQ5756585

Ziyad Hanna, Nachum Dershowitz, Alexander Nadel

Publication date: 4 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0605085




Related Items (15)


Uses Software



This page was built for publication: A Scalable Algorithm for Minimal Unsatisfiable Core Extraction