Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Yoonna Oh"'
Publikováno v:
DAC
This paper describes a new algorithm for extracting unsatisfiable subformulas from a given unsatisfiable CNF formula. Such unsatisfiable "cores" can be very helpful in diagnosing the causes of infeasibility in large systems. Our algorithm is unique i
Publikováno v:
Proceedings 41st Design Automation Conference, 2004; 2004, p518-523, 6p