%0 Conference Paper %1 conf/pakdd/HorevSCFIKNS24 %A Horev, Yinon %A Shay, Shiraz %A Cohen, Sarel %A Friedrich, Tobias %A Issac, Davis %A Kamma, Lior %A Niklanovits, Aikaterini %A Simonov, Kirill %B PAKDD (2) %D 2024 %E Yang, De-Nian %E Xie, Xing %E Tseng, Vincent S. %E Pei, Jian %E Huang, Jen-Wei %E Lin, Jerry Chun-Wei %I Springer %K dblp %P 444-456 %T A Contraction Tree SAT Encoding for Computing Twin-Width. %U http://dblp.uni-trier.de/db/conf/pakdd/pakdd2024-2.html#HorevSCFIKNS24 %V 14646 %@ 978-981-97-2253-2

@inproceedings{conf/pakdd/HorevSCFIKNS24, added-at = {2024-05-03T00:00:00.000+0200}, author = {Horev, Yinon and Shay, Shiraz and Cohen, Sarel and Friedrich, Tobias and Issac, Davis and Kamma, Lior and Niklanovits, Aikaterini and Simonov, Kirill}, biburl = {https://www.bibsonomy.org/bibtex/2d9d1d59a6dbcafb1d7289ccd836e6d8b/dblp}, booktitle = {PAKDD (2)}, crossref = {conf/pakdd/2024-2}, editor = {Yang, De-Nian and Xie, Xing and Tseng, Vincent S. and Pei, Jian and Huang, Jen-Wei and Lin, Jerry Chun-Wei}, ee = {https://doi.org/10.1007/978-981-97-2253-2_35}, interhash = {0c7649c794f36be3402c1a7a7a131619}, intrahash = {d9d1d59a6dbcafb1d7289ccd836e6d8b}, isbn = {978-981-97-2253-2}, keywords = {dblp}, pages = {444-456}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-06T07:17:38.000+0200}, title = {A Contraction Tree SAT Encoding for Computing Twin-Width.}, url = {http://dblp.uni-trier.de/db/conf/pakdd/pakdd2024-2.html#HorevSCFIKNS24}, volume = 14646, year = 2024 }