%0 Conference Paper %1 journals/corr/abs-1210-6415 %A Edelkamp, Stefan %A Kissmann, Peter %A Torralba, Álvaro %B GRAPHITE %D 2012 %E Wijs, Anton %E Bosnacki, Dragan %E Edelkamp, Stefan %K dblp %P 66-82 %T Lex-Partitioning: A New Option for BDD Search %U http://dblp.uni-trier.de/db/series/eptcs/eptcs99.html#abs-1210-6415 %V 99

@inproceedings{journals/corr/abs-1210-6415, added-at = {2020-10-26T00:00:00.000+0100}, author = {Edelkamp, Stefan and Kissmann, Peter and Torralba, Álvaro}, biburl = {https://www.bibsonomy.org/bibtex/20ab43ceda481f2ce3e7ea1990bce3f2f/dblp}, booktitle = {GRAPHITE}, crossref = {journals/corr/abs-1210-6118}, editor = {Wijs, Anton and Bosnacki, Dragan and Edelkamp, Stefan}, ee = {http://arxiv.org/abs/1210.6415}, interhash = {ffa90bbb347e1de6c48f873dc322e15e}, intrahash = {0ab43ceda481f2ce3e7ea1990bce3f2f}, keywords = {dblp}, pages = {66-82}, series = {EPTCS}, timestamp = {2020-10-27T13:08:33.000+0100}, title = {Lex-Partitioning: A New Option for BDD Search}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs99.html#abs-1210-6415}, volume = 99, year = 2012 }