%0 Conference Paper %1 conf/wads/NagaoST15 %A Nagao, Atsuki %A Seto, Kazuhisa %A Teruyama, Junichi %B WADS %D 2015 %E Dehne, Frank %E Sack, Jörg-Rüdiger %E Stege, Ulrike %I Springer %K dblp %P 554-565 %T A Moderately Exponential Time Algorithm for k-IBDD Satisfiability. %U http://dblp.uni-trier.de/db/conf/wads/wads2015.html#NagaoST15 %V 9214 %@ 978-3-319-21839-7

@inproceedings{conf/wads/NagaoST15, added-at = {2023-09-30T00:00:00.000+0200}, author = {Nagao, Atsuki and Seto, Kazuhisa and Teruyama, Junichi}, biburl = {https://www.bibsonomy.org/bibtex/21461aa4e282159b2629f12414584128e/dblp}, booktitle = {WADS}, crossref = {conf/wads/2015}, editor = {Dehne, Frank and Sack, Jörg-Rüdiger and Stege, Ulrike}, ee = {https://doi.org/10.1007/978-3-319-21840-3_46}, interhash = {c7108c05e219340458a91cef134fe782}, intrahash = {1461aa4e282159b2629f12414584128e}, isbn = {978-3-319-21839-7}, keywords = {dblp}, pages = {554-565}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:27:18.000+0200}, title = {A Moderately Exponential Time Algorithm for k-IBDD Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/wads/wads2015.html#NagaoST15}, volume = 9214, year = 2015 }