Solving strategy board games using a CSP-based ACO approach. (2017)