Symbolic Model Checking Using SAT Procedures instead of BDDs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu. Symbolic Model Checking Using SAT Procedures instead of BDDs. In DAC. pages 317-320, 1999. [doi]

This author has not been identified. Look up 'Armin Biere' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Masahiro Fujita' in GoogleThis author has not been identified. Look up 'Yunshan Zhu' in Google

runs on WebDSL