Title: CONSAT
Subjects: Artificial intelligence, CONSAT, Constraints (Artificial intelligence), Knowledge representation (Information theory)