এই পাঠটি: An LP-designed algorithm for constraint satisfaction