![](/img/cover-not-exists.png)
[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - Reusing Search Tree for Incremental SAT Solving of Temporal Induction
Yin, Liangze, He, Fei, Zhou, Min, Gu, MingYear:
2013
Language:
english
DOI:
10.1109/ICECCS.2013.21
File:
PDF, 241 KB
english, 2013