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

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	International Workshop on Configuration
Publisher	.
Publication status	Accepted/In press - 2015
Event	International Workshop on Configuration - , Austria Duration: 10 Sept 2015 → 11 Sept 2015

Conference	International Workshop on Configuration
Country/Territory	Austria
Period	10/09/15 → 11/09/15

Fields of Expertise

@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 = ".",

note = "International Workshop on Configuration ; Conference date: 10-09-2015 Through 11-09-2015",

}