4 constraint programming .
A machine program for theorem-proving