%0 Conference Paper %1 conf/confws/WalterFK15 %A Walter, Rouven %A Felfernig, Alexander %A Küchlin, Wolfgang %B Configuration Workshop %D 2015 %E Tiihonen, Juha %E Falkner, Andreas A. %E Axling, Tomas %I CEUR-WS.org %K dblp %P 97-104 %T Inverse QuickXplain vs. MaxSAT - a comparison in theory and practice. %U http://dblp.uni-trier.de/db/conf/confws/confws2015.html#WalterFK15 %V 1453

@inproceedings{conf/confws/WalterFK15, added-at = {2023-03-10T00:00:00.000+0100}, author = {Walter, Rouven and Felfernig, Alexander and Küchlin, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2b64a66c9e665bec34f6964188eec910c/dblp}, booktitle = {Configuration Workshop}, crossref = {conf/confws/2015}, editor = {Tiihonen, Juha and Falkner, Andreas A. and Axling, Tomas}, ee = {https://ceur-ws.org/Vol-1453/15_WalterFelfernigKuechlin_InverseQuickxplainVsMaxsat_Confws-15_p97.pdf}, interhash = {c784996ac8ebeabbeff04933a783b9ac}, intrahash = {b64a66c9e665bec34f6964188eec910c}, keywords = {dblp}, pages = {97-104}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T00:09:15.000+0200}, title = {Inverse QuickXplain vs. MaxSAT - a comparison in theory and practice.}, url = {http://dblp.uni-trier.de/db/conf/confws/confws2015.html#WalterFK15}, volume = 1453, year = 2015 }