×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [computing f p f p]
Home >
computing f p f p
Efficient SAT-based Techniques for Predicate Abstraction Efficient SAT-based Techniques for Predicate Abstraction Shuvendu K. Lahiri Joint work with Thomas.
215 views
Efficient SAT/BDD-based Techniques for Predicate Abstraction Efficient SAT/BDD-based Techniques for Predicate Abstraction Shuvendu K. Lahiri Joint work.
223 views