Computing the Ramsey number R (4, 3, 3) using abstraction and symmetry breaking M Codish, M Frank, A Itzhakov, A Miller Constraints 21, 375-393, 2016 | 30 | 2016 |

Breaking symmetries in graph search with canonizing sets A Itzhakov, M Codish Constraints 21, 357-374, 2016 | 13 | 2016 |

Breaking symmetries in graphs: the nauty way M Codish, G Gange, A Itzhakov, PJ Stuckey Principles and Practice of Constraint Programming: 22nd International …, 2016 | 8 | 2016 |

Incremental symmetry breaking constraints for graph search problems A Itzhakov, M Codish Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1536-1543, 2020 | 3 | 2020 |

Breaking symmetries with lex implications M Codish, T Ehlers, G Gange, A Itzhakov, PJ Stuckey Functional and Logic Programming: 14th International Symposium, FLOPS 2018 …, 2018 | 3 | 2018 |

Breaking Symmetries with High Dimensional Graph Invariants and Their Combination A Itzhakov, M Codish International Conference on Integration of Constraint Programming …, 2023 | 1 | 2023 |

Solving graph coloring problems with abstraction and symmetry M Codish, M Frank, A Itzhakov, A Miller arXiv preprint arXiv:1409.5189, 2014 | 1 | 2014 |

Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs A Itzhakov, M Codish Constraints 27 (1), 8-28, 2022 | | 2022 |

Symmetry Breaking Constraints for Graph Search Problems A Itzhakov Ben-Gurion University of the Negev, Faculty of Natural Sciences, Department …, 2017 | | 2017 |

Breaking Symmetries in Graph Coloring Problems with Degree Matrices: the Ramsey Number R (4, 3, 3)= 30 M Codish, M Frank, A Itzhakov, A Miller arXiv preprint arXiv:1409.5189, 2014 | | 2014 |