%0 Conference Paper %1 conf/sat/Mengel23 %A Mengel, Stefan %B SAT %D 2023 %E Mahajan, Meena %E Slivovsky, Friedrich %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 16:1-16:11 %T Bounds on BDD-Based Bucket Elimination. %U http://dblp.uni-trier.de/db/conf/sat/sat2023.html#Mengel23 %V 271 %@ 978-3-95977-286-0

@inproceedings{conf/sat/Mengel23, added-at = {2023-08-10T00:00:00.000+0200}, author = {Mengel, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2886f62083b0e0fc11b370804d66614f6/dblp}, booktitle = {SAT}, crossref = {conf/sat/2023}, editor = {Mahajan, Meena and Slivovsky, Friedrich}, ee = {https://doi.org/10.4230/LIPIcs.SAT.2023.16}, interhash = {6385be37c94f2d2d56a4be06226f372f}, intrahash = {886f62083b0e0fc11b370804d66614f6}, isbn = {978-3-95977-286-0}, keywords = {dblp}, pages = {16:1-16:11}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:29:44.000+0200}, title = {Bounds on BDD-Based Bucket Elimination.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2023.html#Mengel23}, volume = 271, year = 2023 }