Small Unsatisfiable Subsets in Constraint Satisfaction

Ronald De Haan, Iyad A. Kanj, Stefan Szeider
January 2014
PDF bib DOI

Abstract

Full Citation:

Ronald de Haan, Iyad A. Kanj, Stefan Szeider. Small Unsatisfiable Subsets in Constraint Satisfaction. 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014, pages 429-436, 2014, IEEE.

Type
Conference Paper
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.