Improving the Performance of Interactive Configuration with Regular String Constraints.

Esben Rune Hansen, Peter Tiedemann

Browse the full ICTAI paper archive.