Patrick Prosser (* 8. September 1952 in Glasgow) ist Informatiker an der Universität Glasgow. Sein Hauptinteressengebiet ist Constraintprogrammierung und die Anwendung von Constraintmethoden in anderen, verwandten Forschungsgebieten.

Sein bedeutendster wissenschaftlicher Beitrag ist die Erfindung von Conflict-based Backjumping, ein Verfahren zur Reduktion des Suchaufwandes in Constraintproblemen durch die Vermeidung von unnötigem Backtracking. Der entsprechende Artikel^[1] wurde laut Google Scholar knapp 500 Mal zitiert.^[2]

Weitere wichtige wissenschaftliche Beiträge sind die Identifikation von schweren Problemen^[3] und Techniken zur Lösung komplizierter Routenprobleme.^[4]

Der begeisterte Drachenflieger hat daneben auch einen wissenschaftlichen Artikel über tetraedrische (vierflächige) Drachen geschrieben.^[5]

1. ↑ HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM. In: Computational Intelligence, 1993, Vol 9, pages 268-299. doi:10.1111/j.1467-8640.1993.tb00310.x.
2. ↑ Google Scholar search liefert 490 Ergebnisse (Stand 25. Februar 2009).
3. ↑ An empirical study of phase transitions in binary constraint satisfaction problems, Artificial Intelligence, 1996, Vol 81, pages 81-109. doi:10.1016/0004-3702(95)00048-8.
4. ↑ Solving Vehicle Routing Problems Using Constraint Programming and Metaheuristics, Journal of Heuristics, 1995, Vol 6, pages 501-523.
5. ↑ The tetrahedral principle in kite design, revisited, Patrick Prosser, 1996.

• Patrick Prossers Website an der Universität Glasgow (englisch)
• Google Scholar Suchresultate für Patrick Prossers wissenschaftliche Arbeiten (englisch)