SAT based solutions for consistency problems in formal property specifications for open systems.

Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti

Browse the full ICCAD paper archive.