Martin Walch, Rouven Walter, Wolfgang Küchlin. Formal analysis of the Linux kernel configuration with SAT solving. 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 131-138, CEUR-WS.org, 2015. [doi]
Abstract is missing.