Rouven Walter, Alexander Felfernig, Wolfgang Küchlin. Inverse QuickXplain vs. MaxSAT - a comparison in theory and practice. In Juha Tiihonen, Andreas A. Falkner, Tomas Axling, editors, Proceedings of the 17th International Configuration Workshop, Vienna, Austria, September 10-11, 2015. Volume 1453 of CEUR Workshop Proceedings, pages 97-104, CEUR-WS.org, 2015. [doi]
Abstract is missing.