%0 Conference Paper %1 conf/cocoon/KurokawaMHHTR23 %A Kurokawa, Yuta %A Mitsuboshi, Ryotaro %A Hamasaki, Haruki %A Hatano, Kohei %A Takimoto, Eiji %A Rahmanian, Holakou %B COCOON (2) %D 2023 %E Wu, Weili %E Tong, Guangmo %I Springer %K dblp %P 17-28 %T Extended Formulations via Decision Diagrams. %U http://dblp.uni-trier.de/db/conf/cocoon/cocoon2023-2.html#KurokawaMHHTR23 %V 14423 %@ 978-3-031-49193-1

@inproceedings{conf/cocoon/KurokawaMHHTR23, added-at = {2024-01-20T00:00:00.000+0100}, author = {Kurokawa, Yuta and Mitsuboshi, Ryotaro and Hamasaki, Haruki and Hatano, Kohei and Takimoto, Eiji and Rahmanian, Holakou}, biburl = {https://www.bibsonomy.org/bibtex/23bbfbc004931bb57eb7f3c23146df874/dblp}, booktitle = {COCOON (2)}, crossref = {conf/cocoon/2023-2}, editor = {Wu, Weili and Tong, Guangmo}, ee = {https://doi.org/10.1007/978-3-031-49193-1_2}, interhash = {ba5ee1a93859bb723294ac9c213b231e}, intrahash = {3bbfbc004931bb57eb7f3c23146df874}, isbn = {978-3-031-49193-1}, keywords = {dblp}, pages = {17-28}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:19:12.000+0200}, title = {Extended Formulations via Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/cocoon/cocoon2023-2.html#KurokawaMHHTR23}, volume = 14423, year = 2023 }