%0 Journal Article %1 journals/corr/CodishFIM14 %A Codish, Michael %A Frank, Michael %A Itzhakov, Avraham %A Miller, Alice %D 2014 %J CoRR %K dblp %T Solving Graph Coloring Problems with Abstraction and Symmetry: the Ramsey Number R(4, 3, 3)=30. %U http://dblp.uni-trier.de/db/journals/corr/corr1409.html#CodishFIM14 %V abs/1409.5189

@article{journals/corr/CodishFIM14, added-at = {2020-08-07T00:00:00.000+0200}, author = {Codish, Michael and Frank, Michael and Itzhakov, Avraham and Miller, Alice}, biburl = {https://www.bibsonomy.org/bibtex/2b5ed3a325a3b541450929cbae48530f8/dblp}, ee = {http://arxiv.org/abs/1409.5189}, interhash = {7c847ebca9da40208b09e03677d73fbf}, intrahash = {b5ed3a325a3b541450929cbae48530f8}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-08-08T11:42:07.000+0200}, title = {Solving Graph Coloring Problems with Abstraction and Symmetry: the Ramsey Number R(4, 3, 3)=30.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1409.html#CodishFIM14}, volume = {abs/1409.5189}, year = 2014 }