vsksp·昨年·議論What course or resource should one look into if one is interested in learning more about constraint solving