TY - RPRT TI - Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper) AU - Carmine Dodaro AU - Philip Gasteiger AU - Nicola Leone AU - Benjamin Musitsch AU - Francesco Ricca AU - Kostyantyn Shchekotykhin PY - 2016 UR - https://arxiv.org/abs/1608.00730 ID - 1608.00730 ER -