TY  - RPRT
TI  - Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case
AU  - Marcello Balduccini
PY  - 2011
UR  - https://arxiv.org/abs/1102.2125
ID  - 1102.2125
ER  -