Francisco Azevedo
algorithm algorithms arithmetic constraints complexity constraint logic programming constraint networks constraint optimization constraint problem solving constraint programming constraint search heuristics hybrid algorithms logic modeling programming