TY  - RPRT
TI  - Solving Graph Coloring Problems with Abstraction and Symmetry
AU  - Michael Codish
AU  - Michael Frank
AU  - Avraham Itzhakov
AU  - Alice Miller
PY  - 2015
UR  - https://arxiv.org/abs/1409.5189
ID  - 1409.5189
ER  -