... (Ed.) Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010 St. Andrews, Scotland, September 6-10, 2010 Proceedings13Constraints, Graphs, Algebra, Logic, and ... MeseguerOthers: – John Hooker – Karen Petrie – Peter Stuckey – Roland YapTable of ContentsInvited TalksSAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering 1Robert Nieuwenhuis Constraint- Directed ... lists of available professionals and open po-sitions, a set of matching rules, and a set of prioritization rules. These inputsare dynamic in that the characteristics of the professionals and...