
<p style="direction:ltr;">Constraint solver</p>
<p style="direction:ltr;">Turing Award</p>
<p style="direction:ltr;">Thesis: Re-released/-formatted 2003 <a href="https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-574.pdf">https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-574.pdf</a></p>
<p style="direction:ltr;"></p>
<p style="direction:ltr;">Turing award: : <a href="https://amturing.acm.org/award_winners/sutherland_3467412.cfm">https://amturing.acm.org/award_winners/sutherland_3467412.cfm</a></p>
<p style