Dynamic analysis of constraint-variable dependencies to guide SAT diagnosis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vijay Durairaj, Priyank Kalla. Dynamic analysis of constraint-variable dependencies to guide SAT diagnosis. In Ninth IEEE International High-Level Design Validation and Test Workshop 2004, Sonoma Valley, CA, USA, November 10-12, 2004. pages 135-140, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Vijay Durairaj' in GoogleThis author has not been identified. Look up 'Priyank Kalla' in Google

runs on WebDSL