Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice

Rouven Walter, Alexander Felfernig, Wolfgang Küchlin

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationInternational Workshop on Configuration
Publisher.
Publication statusAccepted/In press - 2015
EventInternational Workshop on Configuration - , Austria
Duration: 10 Sep 201511 Sep 2015

Conference

ConferenceInternational Workshop on Configuration
CountryAustria
Period10/09/1511/09/15

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical
  • Basic - Fundamental (Grundlagenforschung)

Cite this

Walter, R., Felfernig, A., & Küchlin, W. (Accepted/In press). Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice. In International Workshop on Configuration ..

Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice. / Walter, Rouven; Felfernig, Alexander; Küchlin, Wolfgang.

International Workshop on Configuration. ., 2015.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Walter, R, Felfernig, A & Küchlin, W 2015, Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice. in International Workshop on Configuration. ., International Workshop on Configuration, Austria, 10/09/15.
Walter R, Felfernig A, Küchlin W. Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice. In International Workshop on Configuration. . 2015
Walter, Rouven ; Felfernig, Alexander ; Küchlin, Wolfgang. / Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice. International Workshop on Configuration. ., 2015.
@inproceedings{1d76ace570a548efb63287117348f2ef,
title = "Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice",
author = "Rouven Walter and Alexander Felfernig and Wolfgang K{\"u}chlin",
year = "2015",
language = "English",
booktitle = "International Workshop on Configuration",
publisher = ".",

}

TY - GEN

T1 - Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice

AU - Walter, Rouven

AU - Felfernig, Alexander

AU - Küchlin, Wolfgang

PY - 2015

Y1 - 2015

M3 - Conference contribution

BT - International Workshop on Configuration

PB - .

ER -