Avraham Itzhakov
Avraham Itzhakov
Department of Computer Science, Ben-Gurion University
Verified email at cs.bgu.ac.il
Title
Cited by
Cited by
Year
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
172016
Breaking symmetries in graph search with canonizing sets
A Itzhakov, M Codish
Constraints 21 (3), 357-374, 2016
102016
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
22018
Breaking symmetries in graphs: the nauty way
M Codish, G Gange, A Itzhakov, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2016
12016
Solving graph coloring problems with abstraction and symmetry
M Codish, M Frank, A Itzhakov, A Miller
arXiv preprint arXiv:1409.5189, 2014
12014
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
The system can't perform the operation now. Try again later.
Articles 1–7