Lex-Partitioning - A New Option for BDD Search

Stefan Edelkamp; Peter Kissmann; Álvaro Torralba

doi:10.4204/EPTCS.99.8

Lex-Partitioning - A New Option for BDD Search

Stefan Edelkamp, Peter Kissmann, Álvaro Torralba

Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review

Original language	Undefined/Unknown
Publication date	2012
DOIs	https://doi.org/10.4204/EPTCS.99.8
Publication status	Published - 2012
Externally published	Yes

Bibliographical note

DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

Access to Document

10.4204/EPTCS.99.8

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@conference{42c974ac1cfc4501a55d53201c333832,

title = "Lex-Partitioning - A New Option for BDD Search",

author = "Stefan Edelkamp and Peter Kissmann and {\'A}lvaro Torralba",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2012",

doi = "10.4204/EPTCS.99.8",

language = "Udefineret/Ukendt",

pages = "66--82",

}

TY - CONF

T1 - Lex-Partitioning - A New Option for BDD Search

AU - Edelkamp, Stefan

AU - Kissmann, Peter

AU - Torralba, Álvaro

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2012

Y1 - 2012

U2 - 10.4204/EPTCS.99.8

DO - 10.4204/EPTCS.99.8

M3 - Paper uden forlag/tidsskrift

SP - 66

EP - 82

ER -