September 21, 2025

properties of constraint satisfaction problem