Conflict-Based Program Rewriting for Solving Configuration Problems.

Anna Ryabokon, Gerhard Friedrich, Andreas A. Falkner

Browse the full LPNMR paper archive.