Small Unsatisfiable Subsets in Constraint Satisfaction (bibtex)
by , ,
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.
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},
  doi       = {10.1109/ICTAI.2014.72},
  url = {http://www.kr.tuwien.ac.at/research/reports/rr1405.pdf},
}
Powered by bibtexbrowser