%0 Journal Article %1 journals/algorithmica/NagaoST18 %A Nagao, Atsuki %A Seto, Kazuhisa %A Teruyama, Junichi %D 2018 %J Algorithmica %K dblp %N 10 %P 2725-2741 %T A Moderately Exponential Time Algorithm for k-IBDD Satisfiability. %U http://dblp.uni-trier.de/db/journals/algorithmica/algorithmica80.html#NagaoST18 %V 80

@article{journals/algorithmica/NagaoST18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Nagao, Atsuki and Seto, Kazuhisa and Teruyama, Junichi}, biburl = {https://www.bibsonomy.org/bibtex/274e6a0ffdca4d0bc553dfd1cce18088c/dblp}, ee = {https://www.wikidata.org/entity/Q115606758}, interhash = {7c6f1345a5988c6791c228b0f2aecbe8}, intrahash = {74e6a0ffdca4d0bc553dfd1cce18088c}, journal = {Algorithmica}, keywords = {dblp}, number = 10, pages = {2725-2741}, timestamp = {2024-04-08T18:20:39.000+0200}, title = {A Moderately Exponential Time Algorithm for k-IBDD Satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/algorithmica/algorithmica80.html#NagaoST18}, volume = 80, year = 2018 }