Avraham Itzhakov

According to our database, Avraham Itzhakov authored at least 8 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Breaking Symmetries with High Dimensional Graph Invariants and Their Combination.

Avraham Itzhakov, Michael Codish

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

2022

Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs.

Avraham Itzhakov, Michael Codish

Constraints An Int. J., 2022

2020

Incremental Symmetry Breaking Constraints for Graph Search Problems.

Avraham Itzhakov, Michael Codish

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2018

Breaking Symmetries with Lex Implications.

Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2016

Breaking symmetries in graph search with canonizing sets.

Avraham Itzhakov, Michael Codish

Constraints An Int. J., 2016

Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking.

Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller

Constraints An Int. J., 2016

Breaking Symmetries in Graphs: The Nauty Way.

Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming, 2016

2014

Solving Graph Coloring Problems with Abstraction and Symmetry: the Ramsey Number R(4, 3, 3)=30.

Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller

CoRR, 2014