Tightening BDD-based approximate reachability with SAT-based clause generalization∗.
| Autor: | Cabodi, G., Pasini, P., Quer, S., Vendraminetto, D. |
|---|---|
| Zdroj: | 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE); 01/01/2014, p1-6, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|