UNIVERSITY of GLASGOW

Computing at Glasgow University
 

DCS Technical Reports for 'Dr Patrick Prosser' ordered by Year. (7)

2012 2010 2008 2007 2005 1995

2012

Exact Algorithms for Maximum Clique: a computational study
Prosser,P. SoCS Technical Report Series pp 1-39 Dept of Computing Science, University of Glasgow [More Details].

Distributing an Exact Algorithm for Maximum Clique: maximising the costup
McCreesh,C. Prosser,P. SoCS Technical Report Series pp 1-13 Dept of Computing Science, University of Glasgow [More Details].

2010

Diamond-free Degree Sequences
Miller,A. Prosser,P. DCS Technical Report Series pp 1 to 9 Dept of Computing Science, University of Glasgow [More Details].

2008

LDS : testing the hypothesis
Unsworth,C. Prosser,P. DCS Technical Report Series pp 5 Dept of Computing Science, University of Glasgow [More Details].

2007

A Constraint Programming Approach to the Hospitals / Residents Problem
Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

2005

A Constraint Programming Approach to the Hospitals / Residents Problem
Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. DCS Tech Report [More Details].

1995

MAC-CBJ: maintaining arc consistency with conflict-directed backjumping
Prosser,P. Technical Report 95/177 [More Details].