---
title: "Tackling the Partner Units Configuration Problem"
authors:
  - "Markus Aschinger"
  - "Conrad Drescher"
  - "Georg Gottlob"
  - "Peter Jeavons"
  - "Evgenij Thorstensen"
doi: "10.5591/978-1-57735-516-8/IJCAI11-091"
url: "https://ijcai.org/proceedings/2011/91"
pdf: "https://ijcai.org/proceedings/2011/0091.pdf"
venue: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"
year: 2011
pages: "497-502"
track: ""
keywords:
---

# Tackling the Partner Units Configuration Problem

Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen

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

## Abstract

The Partner Units Problem is a specific type of configuration problem with important applications in the area of surveillance and security. In this work we show that a special case of the problem, that is of great interest to our partners in industry, can directly be tackled via a structural problem decompostion method. Combining these theoretical insights with general purpose AI techniques such as constraint satisfaction and SAT solving proves to be particularly effective in practice.