![](/img/cover-not-exists.png)
[IEEE Computer Soc 18th International Conference on VLSI Design - Kolkata, India (3-7 Jan. 2005)] 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design - Lazy constraints and SAT heuristics for proof-based abstraction
Aarti Gupta,, Malay Ganai,, Pranav Ashar,Year:
2005
Language:
english
DOI:
10.1109/icvd.2005.114
File:
PDF, 711 KB
english, 2005