%0 Journal Article %1 journals/mp/Hoeve22 %A van Hoeve, Willem-Jan %D 2022 %J Math. Program. %K dblp %N 1 %P 631-674 %T Graph coloring with decision diagrams. %U http://dblp.uni-trier.de/db/journals/mp/mp192.html#Hoeve22 %V 192

@article{journals/mp/Hoeve22, added-at = {2022-04-01T00:00:00.000+0200}, author = {van Hoeve, Willem-Jan}, biburl = {https://www.bibsonomy.org/bibtex/235fbdac6c934e89d777dbb71a63727a6/dblp}, ee = {https://doi.org/10.1007/s10107-021-01662-x}, interhash = {1fffa19a3988836741ca19f927909505}, intrahash = {35fbdac6c934e89d777dbb71a63727a6}, journal = {Math. Program.}, keywords = {dblp}, number = 1, pages = {631-674}, timestamp = {2024-04-09T01:38:56.000+0200}, title = {Graph coloring with decision diagrams.}, url = {http://dblp.uni-trier.de/db/journals/mp/mp192.html#Hoeve22}, volume = 192, year = 2022 }