%0 Conference Paper %1 conf/ijcai/SchidlerS23 %A Schidler, André %A Szeider, Stefan %B IJCAI %D 2023 %I ijcai.org %K dblp %P 2013-2021 %T Computing Twin-width with SAT and Branch & Bound. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#SchidlerS23

@inproceedings{conf/ijcai/SchidlerS23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Schidler, André and Szeider, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2acd5406374ff24f6fad80bd3eda71212/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2023}, ee = {https://doi.org/10.24963/ijcai.2023/224}, interhash = {b28346c0bc68e02ada897effd8f24365}, intrahash = {acd5406374ff24f6fad80bd3eda71212}, keywords = {dblp}, pages = {2013-2021}, publisher = {ijcai.org}, timestamp = {2024-04-10T01:46:02.000+0200}, title = {Computing Twin-width with SAT and Branch & Bound.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#SchidlerS23}, year = 2023 }