---
title: "Translation-Based Constraint Answer Set Solving"
authors:
  - "Christian Drescher"
  - "Toby Walsh"
doi: "10.5591/978-1-57735-516-8/IJCAI11-432"
url: "https://ijcai.org/proceedings/2011/432"
pdf: "https://ijcai.org/proceedings/2011/0432.pdf"
venue: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"
year: 2011
pages: "2596-2600"
track: ""
keywords:
---

# Translation-Based Constraint Answer Set Solving

Christian Drescher, Toby Walsh

*Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence*, pages 2596-2600. DOI: [10.5591/978-1-57735-516-8/IJCAI11-432](https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-432)

## Abstract

We solve constraint satisfaction problems through translation to answer set programming (ASP). Our reformulations have the property that unit-propagation in the ASP solver achieves well defined local consistency properties like arc, bound and range consistency. Experiments demonstrate the computational value of this approach.