Avraham Itzhakov

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 7

Top Topics

Heuristic Search

Search Problems

Symmetry Breaking

Top Venues

Constraints An Int. J.

Publications

Avraham Itzhakov, Michael Codish
Breaking Symmetries with High Dimensional Graph Invariants and Their Combination. CPAIOR (2023)
Avraham Itzhakov, Michael Codish
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs. Constraints An Int. J. 27 (1-2) (2022)
Avraham Itzhakov, Michael Codish
Incremental Symmetry Breaking Constraints for Graph Search Problems. AAAI (2020)
Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
Breaking Symmetries with Lex Implications. FLOPS (2018)
Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller
Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking. Constraints An Int. J. 21 (3) (2016)
Avraham Itzhakov, Michael Codish
Breaking symmetries in graph search with canonizing sets. Constraints An Int. J. 21 (3) (2016)
Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
Breaking Symmetries in Graphs: The Nauty Way. CP (2016)
Avraham Itzhakov, Michael Codish
Breaking Symmetries in Graph Search with Canonizing Sets. CoRR (2015)
Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller
Computing the Ramsey Number R(4, 3, 3) using Abstraction and Symmetry breaking. CoRR (2015)
Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller
Solving Graph Coloring Problems with Abstraction and Symmetry: the Ramsey Number R(4, 3, 3)=30. CoRR (2014)