39 citations · 161 across the 21 of their papers we have counts for
Showing 2015 · cs.AIShow all
2 papers · 2 filters
cs.AI2015
Breaking Symmetries in Graph Search with Canonizing Sets
Avraham Itzhakov, Michael Codish
There are many complex combinatorial problems which involve searching for an undirected graph satisfying given constraints. Such problems are often highly challenging because of th…
cs.AI2015★ 1 cited
Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
Michael Codish, Michael Frank, Avraham Itzhakov +1
The number is often presented as the unknown Ramsey number with the best chances of being found "soon". Yet, its precise value has remained unknown for almost 50 years.…