Esben Rune Hansen, Peter Tiedemann. Improving the Performance of Interactive Configuration with Regular String Constraints. In 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1. pages 3-10, IEEE Computer Society, 2008. [doi]
Abstract is missing.