Obserwuj
Avraham Itzhakov
Avraham Itzhakov
Department of Computer Science, Ben-Gurion University
Zweryfikowany adres z cs.bgu.ac.il
Tytuł
Cytowane przez
Cytowane przez
Rok
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
282016
Breaking symmetries in graph search with canonizing sets
A Itzhakov, M Codish
Constraints 21, 357-374, 2016
132016
Breaking symmetries in graphs: the nauty way
M Codish, G Gange, A Itzhakov, PJ Stuckey
Principles and Practice of Constraint Programming: 22nd International …, 2016
52016
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
32018
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
22020
Solving graph coloring problems with abstraction and symmetry
M Codish, M Frank, A Itzhakov, A Miller
arXiv preprint arXiv:1409.5189, 2014
12014
Breaking Symmetries with High Dimensional Graph Invariants and Their Combination
A Itzhakov, M Codish
International Conference on Integration of Constraint Programming …, 2023
2023
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–10