https://digitalcommons.iwu.edu/cs_honproj/20/
"Analyzing and Extending an Infeasibility Analysis Algorithm" by Ammar Malik
Constraint satisfaction problems (CSPs) involve finding assignments to a set of variables that satisfy some mathematical constraints. Unsatisfiable constraint...
ammar malikanalyzingextendinginfeasibilityanalysis