TY - GEN
AU - Liffiton, Mark H.
AU - Sakallah, Karem A.
TI - Theory and Applications of Satisfiability Testing: On Finding All Minimally Unsatisfiable Subformulas
PB - Springer Berlin Heidelberg
SN - 0302-9743
SN - 1611-3349
PY - 2005
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation