| Computing the Ramsey number R (4, 3, 3) using abstraction and symmetry breaking M Codish, M Frank, A Itzhakov, A Miller Constraints 21 (3), 375-393, 2016 | 17 | 2016 |
| Breaking symmetries in graph search with canonizing sets A Itzhakov, M Codish Constraints 21 (3), 357-374, 2016 | 10 | 2016 |
| Breaking symmetries with lex implications M Codish, T Ehlers, G Gange, A Itzhakov, PJ Stuckey International Symposium on Functional and Logic Programming, 182-197, 2018 | 2 | 2018 |
| Breaking symmetries in graphs: the nauty way M Codish, G Gange, A Itzhakov, PJ Stuckey International Conference on Principles and Practice of Constraint …, 2016 | 1 | 2016 |
| Solving graph coloring problems with abstraction and symmetry M Codish, M Frank, A Itzhakov, A Miller arXiv preprint arXiv:1409.5189, 2014 | 1 | 2014 |
| 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 | | 2020 |
| 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 |
