Element 'constraint satisfaction problem'