Tracking MUSes and Strict Inconsistent Covers

2006 Formal Methods in Computer Aided Design ◽

10.1109/fmcad.2006.34 ◽

2006 ◽

Author(s):

Eric Gregoire ◽

Bertrand Mazure ◽

Cedric Piette

Download Full-text