Constraint Satisfaction for First-Oder Logic [pdf]cs.unm.edu1 point·jimmaswell··0 commentsOpen articleSaveView on HN