Johannes Werner, Tomás Balyo, Markus Iser, Michael Klein. Fast Approximate Calculation of Valid Domains in a Satisfiability-based Product Configurator. In Michel Aldanondo, Andreas A. Falkner, Alexander Felfernig, Martin Stettinger, editors, Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021), Vienna, Austria, 16-17 September, 2021. Volume 2945 of CEUR Workshop Proceedings, pages 24-32, CEUR-WS.org, 2021. [doi]
Abstract is missing.