Stem overconstrain$ (all stems)

2 papers:

CAiSE-2006-Al-MuhammedE #constraints

Resolving Underconstrained and Overconstrained Systems of Conjunctive Constraints for Service Requests (MAM, DWE), pp. 223–238.

ASE-2003-ShlyakhterSJST #debugging #declarative #modelling #satisfiability #using

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores (IS, RS, DJ, MS, MT), pp. 94–105.