%0 Journal Article %1 journals/constraints/CodishFIM16 %A Codish, Michael %A Frank, Michael %A Itzhakov, Avraham %A Miller, Alice %D 2016 %J Constraints An Int. J. %K dblp %N 3 %P 375-393 %T Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking. %U http://dblp.uni-trier.de/db/journals/constraints/constraints21.html#CodishFIM16 %V 21

@article{journals/constraints/CodishFIM16, 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/2c3545744ca0103361c7af3e008be55d3/dblp}, ee = {https://doi.org/10.1007/s10601-016-9240-3}, interhash = {9471260586cd7d67705c3ef87ecc560a}, intrahash = {c3545744ca0103361c7af3e008be55d3}, journal = {Constraints An Int. J.}, keywords = {dblp}, number = 3, pages = {375-393}, timestamp = {2020-08-08T11:42:51.000+0200}, title = {Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking.}, url = {http://dblp.uni-trier.de/db/journals/constraints/constraints21.html#CodishFIM16}, volume = 21, year = 2016 }