Rouven Walter, Christoph Zengler, Wolfgang Küchlin. Applications of MaxSAT in Automotive Configuration. In Michel Aldanondo, Andreas A. Falkner, editors, Proceedings of the 15th International Configuration Workshop, Vienna, Austria, August 29-30, 2013. Volume 1128 of CEUR Workshop Proceedings, pages 21-28, CEUR-WS.org, 2013. [doi]
Abstract is missing.