Small Unsatisfiable Subsets in Constraint Satisfaction

Haan, Ronald de; Kanj, Iyad A.; Szeider, Stefan

doi:10.1109/ICTAI.2014.72

by Ronald de Haan, Iyad A. Kanj, Stefan Szeider

Reference:

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

Bibtex Entry:

@inproceedings{DeHaanKanjSzeider14,
  author    = {Ronald de Haan and
               Iyad A. Kanj and
               Stefan Szeider},
  title     = {Small Unsatisfiable Subsets in Constraint Satisfaction},
  booktitle = {26th {IEEE} International Conference on Tools with
                  Artificial Intelligence, {ICTAI} 2014, Limassol,
                  Cyprus, November 10-12, 2014},
  pages     = {429--436},
  year      = {2014},
  publisher = {{IEEE}},
  doi       = {10.1109/ICTAI.2014.72},
  url = {http://www.kr.tuwien.ac.at/research/reports/rr1405.pdf},
}