Brahim Hnich
arithmetic constraints constraint logic programming constraint optimization constraint problem solving constraint processing constraint programming constraint search constraint solving heuristics interval constraints local search logic logic inferenc modeling programming