Lex-Partitioning - A New Option for BDD Search

Stefan Edelkamp, Peter Kissmann, Álvaro Torralba

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

OriginalsprogUdefineret/Ukendt
Publikationsdato2012
DOI
StatusUdgivet - 2012
Udgivet eksterntJa

Citationsformater