authors
- EDELKAMP, STEFAN
- KISSMANN, PETER
- TORRALBA ARIAS DE REYNA, ALVARO
Lex-Partitioning: A New Option for BDD Search
Conference Contributions
Overview
event
- First Workshop on Graph Inspection and Transversal Engineering (GRAPHITE 2012)
event place
- Tallin
country
- ESTONIA
participation category
- PONENCIA
web site
publication date
- 2012