%0 Conference Paper %1 conf/ictai/BergJ14 %A Berg, Jeremias %A Järvisalo, Matti %B ICTAI %D 2014 %I IEEE Computer Society %K %P 328-335 %T SAT-Based Approaches to Treewidth Computation: An Evaluation. %U http://dblp.uni-trier.de/db/conf/ictai/ictai2014.html#BergJ14 %@ 978-1-4799-6572-4

@inproceedings{conf/ictai/BergJ14, added-at = {2023-12-13T06:26:45.000+0100}, author = {Berg, Jeremias and Järvisalo, Matti}, biburl = {https://www.bibsonomy.org/bibtex/24217f97f679c9407d7fcc7ad1da14e8b/admin}, booktitle = {ICTAI}, crossref = {conf/ictai/2014}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2014.57}, interhash = {adbb998776e33f12b240eab8a9405594}, intrahash = {4217f97f679c9407d7fcc7ad1da14e8b}, isbn = {978-1-4799-6572-4}, keywords = {}, pages = {328-335}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T06:26:45.000+0100}, title = {SAT-Based Approaches to Treewidth Computation: An Evaluation.}, url = {http://dblp.uni-trier.de/db/conf/ictai/ictai2014.html#BergJ14}, year = 2014 }