%0 Journal Article %1 journals/ai/SchidlerS23 %A Schidler, André %A Szeider, Stefan %D 2023 %J Artif. Intell. %K dblp %P 104015 %T Computing optimal hypertree decompositions with SAT. %U http://dblp.uni-trier.de/db/journals/ai/ai325.html#SchidlerS23 %V 325

@article{journals/ai/SchidlerS23, added-at = {2023-12-10T00:00:00.000+0100}, author = {Schidler, André and Szeider, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/20c5b1b0fc6eea7d85bb5c919cb713ad8/dblp}, ee = {https://doi.org/10.1016/j.artint.2023.104015}, interhash = {6f69492f1fffa0b1ca2939ac0462436f}, intrahash = {0c5b1b0fc6eea7d85bb5c919cb713ad8}, journal = {Artif. Intell.}, keywords = {dblp}, month = {December}, pages = 104015, timestamp = {2024-04-08T17:20:51.000+0200}, title = {Computing optimal hypertree decompositions with SAT.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai325.html#SchidlerS23}, volume = 325, year = 2023 }