2004) and also to compute G−E for some free ET E, where |G| = def |L| + |H| + |E| + |D|.
because weighted soft constraints generalize hard constraints, finding efficient algorithms for solving systems with hard constraints is a first step toward finding efficient algorithms for finding the highest-scoring solution under weighted constraints.