Debugging Design Errors by Using Unsatisfiable Cores.

André Sülflow Görschwin Fey Roderick Bloem Rolf Drechsler

Published in: MBMV (2008)

Keyphrases

special case
logic programs
unsatisfiable cores