Improving the Performance of Interactive Configuration with Regular String Constraints | IEEE Conference Publication | IEEE Xplore