I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

AMUSE : a minimally-unsatisfiable subformula extractor:

, In: Proceedings of the 41st annual Design Automation Conference,
Oh, Yoonna ; Mneimneh, Maher N. ; Andraus, Zaher S... - p. 518-523 , 2004
Link: https://dl.acm.org/doi/10.1145/996566.996710