Login / Signup

A Scalable Algorithm for Minimal Unsatisfiable Core Extraction.

Nachum DershowitzZiyad HannaAlexander Nadel
Published in: SAT (2006)
Keyphrases