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 ...