Publications for 'Algorithmics Collection' ordered by Year. (219)2013The Hospitals / Residents problem with Free PairsKwanashie,A. Manlove,D.F. SoCS Technical Report Series pp 119 Dept of Computing Science, University of Glasgow [More Details]. 2012Distributing an Exact Algorithm for Maximum Clique: maximising the costupMcCreesh,C. Prosser,P. SoCS Technical Report Series pp 113 Dept of Computing Science, University of Glasgow [More Details]. Exact Algorithms for Maximum Clique: a computational study Prosser,P. SoCS Technical Report Series pp 139 Dept of Computing Science, University of Glasgow [More Details]. Paired and Altruistic Kidney Donation in the UK: Algorithms and Experimentation Manlove,D.F. O'Malley,G. DCS Technical Report Series pp 114 Dept of Computing Science, University of Glasgow [More Details]. 2011"Almost stable" matchings in the Roommates problem with bounded preference listsBiro,P. Manlove,D.F. McDermid,E.J. DCS Technical Report Series pp 117 Dept of Computing Science, University of Glasgow [More Details]. Improving manoptimal stable matchings by minimum change of preference lists Inoshita,T. Irving,R.W. Iwama,K. Miyazaki,S. Nagase,T. Proceedings of the 7th HungarianJapanese Symposium on Discrete Mathematics and Its Applications (Kyoto, Japan) pp 309313 [More Details]. Stable matching with couples: an empirical study Biro,P. Irving,R.W. Schlotter,I. ACM Journal of Experimental Algorithmics, vol. 16, section 1 article no. 2 pp 127 [More Details]. Stable matching with couples: theory and practice Biro,P. Irving,R.W. Schlotter,I. DCS Technical Report Series pp 132 Dept of Computing Science, University of Glasgow [More Details]. 2010An Introduction to Pervasive AutomataCalder,M. Gray,P. Miller,A. Unsworth,C. Proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010), October 2010 Springer [More Details]. Mapping Affymetrix microarray probes to the rat genome via a persistent index Fairley,S. McClure,J.D. Hanlon,N. Irving,R.W. Dominiczak,A.F. Hunt,E. Journal of Knowledge Discovery in Bioinformatics volume 1 pp 4865 [More Details]. The College Admissions problem with lower and common quotas Biro,P. Fleiner,T. Irving,R.W. Manlove,D.F. Theoretical Computer Science volume 411 pp 31363153 [More Details]. Stable matching with couples  an empirical study Biro,P. Irving,R.W. DCS Technical Report Series pp 25 Dept of Computing Science, University of Glasgow [More Details]. Diamondfree Degree Sequences Miller,A. Prosser,P. DCS Technical Report Series pp 1 to 9 Dept of Computing Science, University of Glasgow [More Details]. Triangle Packing with Constraint Programming Prosser,P. 9th International Workshop on Constraint Modelling and Reformulation (ModRef 2010) pp 115 [More Details]. Fractional solutions for NTUgames Biro,P. Fleiner,T. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. Integral Stable Allocation Problem on Graphs Biro,P. Fleiner,T. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. A SAT based algorithm for the matching problem in bigraphs with sharing Sevegnani,M. Unsworth,C. Calder,M. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. Popular matchings in the Marriage and Roommates problems Biro,P. Irving,R.W. Manlove,D.F. Proceedings of CIAC 2010: the 7th International Conference on Algorithms and Complexity, Lecture Notes in Computer Science Springer [More Details]. Popular Matchings in the Weighted Capacitated House Allocation Problem Sng,C.T.S. Manlove,D.F. Journal of Discrete Algorithms, volume 8 pp 102116 Elsevier Science [More Details]. Size versus stability in the Marriage problem Biro,P. Manlove,D.F. Mittal,S. Theoretical Computer Science, volume 411 pp 18281841 Elsevier Science [More Details]. Keeping partners together: Algorithmic results for the Hospitals / Residents problem with couples McDermid,E.J. Manlove,D.F. Journal of Combinatorial Optimization, volume 19, number 3 pp 279303 Springer [More Details]. Matching with sizes (or scheduling with processing set restrictions) Biro,P. McDermid,E. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. 2009Maximum weight cycle packing in directed graphs, with application to kidney exchange programsBiro,P. Manlove,D.F. Rizzi,R. Discrete Mathematics, Algorithms and Applications, volume 1, number 4 pp 499517 World Scientific [More Details]. Popular matchings in the Marriage and Roommates problems Biro,P. Irving,R.W. Manlove,D.F. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. Towards the Verification of Pervasive Systems Arapinis,M. Calder,M. Denis,L. Fisher,M. Gray,P. Konur,S. Miller,A. Ritter,E. Ryan,M. Schewe,S. Unsworth,C. Yasmin,R. Proceedings of Third International Workshop on Formal Methods in Interactive Systems (FMIS 2009). Electronic Communications of the EASST. [More Details]. Tightly coupled verification of pervasive systems Calder,M. Gray,P.D. Unsworth,C. Proceedings of Third International Workshop on Formal Methods in Interactive Systems (FMIS 2009) [More Details]. Popular matchings: structure and algorithms McDermid,E. Irving,R.W. Proceedings of COCOON 2009, 15th Annual International Computing and Combinatorics Conference, Niagara Falls USA, July 2009, Lecture Notes in Computer Science vol. 5609 pp 506515 Springer [More Details]. The College Admissions problem with lower and common quotas Biró,P. Fleiner,T. Irving,R.W. Manlove,D.F. DCS Technical Report Series pp 130 Dept of Computing Science, University of Glasgow [More Details]. Maximum weight cycle packing in optimal kidney exchange programs Biro,P. Manlove,D.F. Rizzi,R. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. Size versus stability in the Marriage problem Biro,P. Manlove,D.F. Mittal,S. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. Size versus stability in the Marriage problem Biro,P. Manlove,D.F. Mittal,S. Proceedings of WAOA 2008: the 6th Workshop on Approximation and Online Algorithms, volume 5426 of Lecture Notes in Computer Science pp 1528 Springer [More Details]. Finding large stable matchings Irving,R.W. Manlove,D.F. ACM Journal of Experimental Algorithmics, vol 14, section 1, article no. 2 pp 130 ACM [More Details]. Vertex and edge covers with clustering properties: complexity and algorithms Fernau,H. Manlove,D.F. Journal of Discrete Algorithms, volume 7, number 2 pp 149167 Elsevier Science [More Details]. Stable Marriage with Ties and Bounded Length Preference Lists Irving,R.W. Manlove,D.F. O'Malley,G. Journal of Discrete Algorithms, volume 7 pp 213219 Elsevier Science [More Details]. 2008The Stable Roommates problem with GloballyRanked PairsAbraham,D.J. Levavi,A. Manlove,D.F. O'Malley,G. Internet Mathematics, volume 5, number 4 pp 493515 [More Details]. Popular Matchings: Structure and Algorithms McDermid,E. Irving,R.W. DCS Technical Report Series pp 120 Dept of Computing Science, University of Glasgow [More Details]. Student Admissions in Hungary as Gale and Shapley Envisaged Biro,P. DCS Technical Report Series pp 17 Dept of Computing Science, University of Glasgow [More Details]. Integral Stable Allocation Problem on Graphs Biro,P. Fleiner,T. DCS Technical Report Series pp 112 Dept of Computing Science, University of Glasgow [More Details]. Finding Large Stable Matchings Irving,R.W. Manlove,D.F. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. The Ultrametric Constraint and its Application to Phylogenetics Moore,N.C.A. Prosser,P. Journal of Artificial Intelligence Research, Volume 32 pp 901938 AAAI Press [More Details]. Stable matching problems with exchange restrictions Irving,R.W. Journal of Combinatorial Optimization vol. 16 pp 344360 Springer [More Details]. A 3/2approximation algorithm for general stable marriage McDermid,E. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. A Hardware Relaxation Paradigm for Solving NPHard Problems Cockshott,W.P. Koltes,A. O'Donnell,J.T. Prosser,P. Vanderbauwhede,W. Visions of Computer Science, BCS International Academic Research Conference pp 112 [More Details]. Optimal Stable Marriage Irving,R.W. Encyclopedia of Algorithms Springer [More Details]. Stable Marriage Irving,R.W. Encyclopedia of Algorithms Springer [More Details]. Keeping partners together: Algorithmic results for the Hospitals / Residents problem with couples McDermid,E.J. Manlove,D.F. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. Size Versus Stability in the Marriage Problem Biro,P. Manlove,D.F. Mittal,S. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. LDS : testing the hypothesis Unsworth,C. Prosser,P. DCS Technical Report Series pp 5 Dept of Computing Science, University of Glasgow [More Details]. The Stable Marriage Problem with Master Preference Lists Irving,R.W. Manlove,D.F. Scott,S. Discrete Applied Mathematics, volume 156 pp 29592977 Elsevier Science [More Details]. Approximation algorithms for hard variants of the stable marriage and hospitals/residents problems Irving,R.W. Manlove,D.F. Journal of Combinatorial Optimization, volume 16, number 3 pp 279292 Springer [More Details]. An algorithm for a superstable roommates problem Fleiner,T. Irving,R.W. Manlove,D.F. Proceedings of MatchUP: Matching Under Preferences  Algorithms and Complexity pp 126132 [More Details]. Hospitals / Residents Problem Manlove,D.F. Encyclopedia of Algorithms (entry number 180) pp 390394 Springer [More Details]. Studentproject allocation with preferences over projects Manlove,D.F. O'Malley,G. Journal of Discrete Algorithms, volume 6 pp 553560 Elsevier Science [More Details]. 2007Approximation algorithms for hard variants of the stable marriage and hospitals/residents problemsIrving,R.W. Manlove,D.F. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. The Stable Roommates problem with GloballyRanked Pairs Abraham,D.J. Levavi,A. Manlove,D.F. O'Malley,G. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. The Stable Roommates problem with GloballyRanked Pairs Abraham,D.J. Levavi,A. Manlove,D.F. O'Malley,G. Proceedings of WINE 2007: 3rd International Workshop On Internet and Network Economics, volume 4858 of Lecture Notes in Computer Science pp 431444 Springer [More Details]. Popular Matchings in the Weighted Capacitated House Allocation problem Sng,C.T.S. Manlove,D.F. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. Popular matchings in the weighted capacitated house allocation problem Sng,C.T.S. Manlove,D.F. Proceedings of ACiD 2007: the 3rd Algorithms and Complexity in Durham workshop, volume 9 of Texts in Algorithmics, College Publications pp 129140 [More Details]. Popular Matchings Abraham,D.J. Irving,R.W. Kavitha,T. Mehlhorn,K. SIAM Journal on Computing, Volume 37 pp 1030  1045 Society for Industrial and Applied Mathematics [More Details]. The stable fixtures problem  a manytomany extension of stable roommates Irving,R.W. Scott,S. Discrete Applied Mathematics vol. 155 pp 21182129 Elsevier Science [More Details]. Efficient algorithms for generalised stable marriage and roommates problems Fleiner,T. Irving,R.W. Manlove,D.F. Theoretical Computer Science Volume 381 pp 162176 Elsevier Science [More Details]. A Constraint Programming Approach to the Hospitals / Residents Problem Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. Proceedings of CPAIOR '07: the Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, volume 4510 of Lecture Notes in Computer Science pp 155170 Springer [More Details]. An 8/5 approximation algorithm for a hard variant of stable marriage Irving,R.W. Manlove,D.F. Proceedings of COCOON 2007: the 13th Annual International Computing and Combinatorics Conference, volume 4598 of Lecture Notes in Computer Science pp 548558 Springer [More Details]. 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]. The cycle roommates problem: a hard case of kidney exchange Irving,R.W. Information Processing Letters vol. 103 pp 14 Elsevier Science [More Details]. Two Algorithms for the StudentProject Allocation Problem Abraham,D.J. Irving,R.W. Manlove,D.F. Journal of Discrete Algorithms vol. 5 pp 7390 Elsevier Science [More Details]. 2006Supertree construction with constraint programming: recent progress and new challengesProsser,P. WCB06  Workshop on Constraint Based Methods for Bioinformatics pp 7582 [More Details]. Maintaining Singleton Arc Consistency Lecoutre,C. Prosser,P. Proceedings of the 3rd International Workshop on Constraint Propagation And Implementation (CPAI'2006) pp 4761 [More Details]. A case study of mutual schedulingrouting reformulation Beck,J.C.B. Prosser,P. Selensky,E. Journal of Scheduling (volume 9) pp 469491 Springer [More Details]. Rankmaximal matchings Irving,R.W. Michail,D. Mehlhorn,K. Paluch,K. Telikepalli,K. ACM Transactions on Algorithms vol. 2 no. 4 pp 491499 ACM [More Details]. The cycle roommates problem: a hard case of kidney exchange Irving,R.W. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. Popular Matchings in the Capacitated House Allocation Problem Manlove,D.F. Sng,C.T.S. Proceedings of ESA 2006: the 14th Annual European Symposium on Algorithms, volume 4168 of Lecture Notes in Computer Science pp 492503 Springer Verlag [More Details]. Vertex and Edge Covers with Clustering Properties: Complexity and Algorithms Fernau,H. Manlove,D.F. Proceedings of ACiD 2006: the 2nd Algorithms and Complexity in Durham workshop, volume 7 of Texts in Algorithmics, College Publications pp 6984 [More Details]. Stable Marriage with Ties and Bounded Length Preference Lists Irving,R.W. Manlove,D.F. O'Malley,G. Proceedings of ACiD 2006: the 2nd Algorithms and Complexity in Durham workshop, volume 7 of Texts in Algorithmics, College Publications pp 95106 [More Details]. The Stable Marriage Problem with Master Preference Lists Irving,R.W. Manlove,D.F. Scott,S. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. Popular Matchings in the Capacitated House Allocation Problem Manlove,D.F. Sng,C.T.S. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. A Connectivity Constraint using Bridges Prosser,P. Unsworth,C. 17th European Conference on Artificial Intelligence (ECAI 2006) [More Details]. Rooted Tree and Spanning Tree Constraints Unsworth,C. Prosser,P. 17th ECAI Workshop on Modelling and Solving Problems with Constraints [More Details]. Vertex and Edge Covers with Clustering Properties: Complexity and Algorithms Fernau,H. Manlove,D.F. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. "Almost Stable" Matchings in the Roommates Problem Abraham,D.J. Biro,P. Manlove,D.F. In Proceedings of WAOA 2005: the 3rd Workshop on Approximation and Online Algorithms, volume 3879 of Lecture Notes in Computer Science pp 114 Springer Verlag [More Details]. 2005A Constraint model and a reduction operator for the minimising open stacks problemMiller,A. Prosser,P. Unsworth,C. Proceedings of the constraint modelling challenge, in conjuction with the fifth workshop on modelling and solving problems with constraints held at IJCAI'05 pp 4450 [More Details]. A Constraint Programming Approach to the Hospitals / Residents Problem Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. In Proceedings of the Fourth Workshop on Modelling and Reformulating Constraint Satisfaction Problems, held at the 11th International Conference on Principles and Practice of Constraint Programming (CP 2005) pp 2843 [More Details]. The ExchangeStable Marriage Problem Cechlarova,K. Manlove,D.F. Discrete Applied Mathematics, volume 152 pp 109122 Elsevier Science [More Details]. Exploring the use of constraint programming for enforcing connectivity during graph generation Brown,K.N. Prosser,P. Beck,J.C. Wu,C.W. The Fifth Workshop on Modelling and Solving Problems with Constraints, held at the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) [More Details]. An nary Constraint for the Stable Marriage Problem Unsworth,C. Prosser,P. The Fifth Workshop on Modelling and Solving Problems with Constraints, held at the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) [More Details]. Modelling and solving the stable marriage problem using constraint programming Manlove,D.F. O'Malley,G. Proceedings of the Fifth Workshop on Modelling and Solving Problems with Constraints, held at the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) pp 1017 [More Details]. A Specialised Binary Constraint for the Stable Marriage Problem Unsworth,C. Prosser,P. Symposium on Abstraction, Reformulation and Approximation (SARA 2005) LNCS, Springer [More Details]. Studentproject allocation with preferences over projects Manlove,D.F. O'Malley,G. In Proceedings of ACID 2005: the 1st Algorithms and Complexity in Durham workshop, volume 4 of Texts in Algorithmics, KCL Publications pp 6980 [More Details]. Popular matchings Abraham,D.J. Irving,R.W. Mehlhorn,K. Telikepalli,K. Proceedings of the 16th Annual ACM/SIAM Symposium on Discrete Algorithms, Vancouver, January 2005 pp 424432 ACM [More Details]. A Constraint Programming Approach to the Hospitals / Residents Problem Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. DCS Tech Report [More Details]. Modelling and solving the stable marriage problem using constraint programming Manlove,D.F. O'Malley,G. DCS Tech Report [More Details]. On the approximability of the maximum induced matching problem Duckworth,W. Manlove,D.F. Zito,M. Journal of Discrete Algorithms, volume 3, no. 1 pp 7991 Elsevier Science [More Details]. 2004Failing First: An UpdateBeck,J.C. Prosser,P. Wallace,R.J. 16th European Conference on Artificial Intelligence [More Details]. Variable Ordering Heuristics Show Promise Beck,J.C. Prosser,P. Wallace,R.J. Principles and Practice of Constraint Programming  CP2004, 10th International Conference, Toronto, LNCS 3258 pp 711715 LNCS, Springer [More Details]. Two Algorithms for the StudentProject Allocation Problem Abraham,D.J. Irving,R.W. Manlove,D.F. DCS Tech Report [More Details]. Pareto optimality in the Roommates problem Abraham,D.J. Manlove,D.F. DCS Tech Report pp 116 [More Details]. Pareto optimality in house allocation problems Abraham,D.J. Cechlarova,K. Manlove,D.F. Mehlhorn,K. Proceedings of ISAAC 2004: The 15th Annual International Symposium on Algorithms and Computation, volume 3341 of Lecture Notes in Computer Science pp 315 Springer Verlag [More Details]. ManExchange Stable Marriage Irving,R.W. pp 111 [More Details]. Trying Again to FailFirst Beck,J.C. Prosser,P. Wallace,R.J. CSCLP 2004: Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming, EPFL, Lausanne, Switzerland (LNAI 3419) pp 4155 LNCS, Springer [More Details]. Solving the Rehearsal Problem with Planning and with Model Checking Gregory,P. Miller,A. Prosser,P. 16th European Conference on Artificial Intelligence (ECAI 2004), workshop W14: Modelling and Solving Problems with Constraints pp 157171 [More Details]. Stability in labour market games Cechlarova,K. Irving,R.W. Manlove,D.F. ERCIM News, volume 57 pp 2728 [More Details]. Plagiarism and collusion detection using the SmithWaterman algorithm Irving,R.W. DCS Technical Report pp 124 Dept of Computing Science, University of Glasgow [More Details]. Rankmaximal matchings Irving,R.W. Kavitha,T. Mehlhorn,K. Michail,D. Paluch,K. Proceedings of 15th Annual ACMSIAM Symposium on Discrete Algorithms, New Orleans, January 2004. Society for Industrial and Applied Mathematics [More Details]. Combined Super/Substring and Super/Subsequence Problems Middendorf,M. Manlove,D.F. Theoretical Computer Science, volume 320 pp 247267 Elsevier Science [More Details]. 2003Towards understanding variable ordering heuristics for constraint satisfaction problemsBeck,J.C. Prosser,P. Wallace,R.J. Proceedings of the Fourteenth Irish Artificial Intelligence and Cognitive Science Conference (AICS03) pp 11  16 [More Details]. Supertree Construction with Constraint Programming Gent,I.P. Prosser,P. Smith,B.M. Wei,W. Principles and Practice of Constraint Programming pp 837841 Springer [More Details]. The suffix binary search tree and suffix AVL tree Irving,R.W. Love,L. Journal of Discrete Algorithms Volume 1 pp 387408 Elsevier Science [More Details]. The StudentProject Allocation Problem Abraham,D.J. Irving,R.W. Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. The StudentProject Allocation Problem Abraham,D.J. Irving,R.W. Manlove,D.F. Proceedings of ISAAC 2003: The 14th Annual International Symposium on Algorithms and Computation, volume 2906 of Lecture Notes in Computer Science pp 474484 Springer Verlag [More Details]. The ExchangeStable Marriage Problem Cechlarova,K. Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. Approximability results for stable marriage problems with ties Halldorsson,M.M. Irving,R.W. Iwama,K. Manlove,D.F. Miyazaki,S. Morita,Y. Scott,S. Theoretical Computer Science, volume 306 pp 431447 Elsevier Science [More Details]. Strong stability in the hospitals/residents problem Irving,R.W. Manlove,D.F. Scott,S. Proceedings of STACS 2003: The 20th Annual Symposium on Theoretical Aspects of Computer Science, volume 2607 of Lecture Notes in Computer Science pp 439450 Springer Verlag [More Details]. Vehicle Routing and Job Shop Scheduling: What's the difference? Beck,J.C. Prosser,P. Selensky,E. 13th International Conference on Automated Planning and Scheduling (ICAPS03) Morgan Kaufmann [More Details]. A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables Prosser,P. Selensky,E. Recent Advances in Conatraints. Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, LNAI 2627 pp 121 131 LNCS, Springer [More Details]. 2002A 0/1 encoding of the GACLex constraint for pairs of vectorsGent,I.P. Prosser,P. Smith,B.M. ECAI 2002 workshop W9: Modelling and Solving Problems with Constraints University of Glasgow [More Details]. SAT Encodings of the Stable Marriage Problem with Ties and Incomplete Lists Gent,I.P. Prosser,P. SAT 2002 The Fifth International Symposium on the Theory and Application of Satisfiability Testing Academic Press [More Details]. Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problem Beck,J.C. Prosser,P. Selensky,S. Proceedings of ICGT 2002, 1st International Conference on Graph Transformations pp 6074 LNCS, Springer [More Details]. Approximability results for stable marriage problems with ties Halldorsson,M. Irving,R.W. Iwama,K. Manlove,D.F. Miyazaki,S. Morita,Y. Scott,S. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. Strong Stability in the Hospitals/Residents Problem Irving,R.W. Manlove,D.F. Scott,S. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. A Student Advisory System: a configuration problem for constraint programming McDonald,K. Prosser,P. ECAI 2002 Workshop W4 on Configuration [More Details]. A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables Prosser,P. Selensky,E. ERCIM workshop on Constraint Solving and Constraint Logic Programming [More Details]. On the Reformulation of Vehicle Routing Problems and Scheduling Problems Beck,J.C. Prosser,P. Selensky,E. Proceedings of SARA 2002, Symposium on Abstraction, Reformulation and Approximation pp 282  289 LNCS, Springer [More Details]. An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists Gent,I.P. Prosser,P. Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002) Academic Press [More Details]. Database indexing for large DNA and protein sequence collections Hunt,E. Atkinson,M.P. Irving,R.W. The VLDB Journal 11:3 pp 256271 Springer [More Details]. The Stable Roommates Problem with Ties Irving,R.W. Manlove,D.F. Journal of Algorithms, volume 43 pp 85105 Academic Press [More Details]. The structure of stable marriage with indifference Manlove,D.F. Discrete Applied Mathematics, volume 122 pp 167181 Elsevier Science [More Details]. Hard Variants of Stable Marriage Manlove,D.F. Irving,R.W. Iwama,K. Miyazaki,S. Morita,Y. Theoretical Computer Science, volume 276 pp 261279 Elsevier Science [More Details]. 2001Suffix Binary Search Trees and Suffix ArraysIrving,R.W. Love,L. DCS Tech Report [More Details]. Suffix Binary Search Trees and Suffix Arrays Irving,R.W. Love,L. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. Random Constraint Satisfaction: flaws and structures Gent,I.P. MacIntyre,E. Prosser,P. Smith,B.M. Walsh,T. Journal of Constraints 6(4) pp 345372 Kluwer [More Details]. A Database Index to Large Biological Sequences Hunt,E. Atkinson,M.P. Irving,R.W. Proceedings of the 27th Conference on Very Large Databases pp 139148 Morgan Kaufmann [More Details]. A Constraint Programming Approach to the Stable Marriage Problem Gent,I.P. Irving,R.W. Manlove,D.F. Prosser,P. Smith,B.M. Proceedings of CP 2001: The 7th International Conference on Principles and Practice of Constraint Programming, volume 2239 of Lecture Notes in Computer Science pp 225239 Springer Verlag [More Details]. Sorting Strings by Reversals and by Transpositions Irving,R.W. Christie,D.A. SIAM Journal on Discrete Mathematics Volume No. 14 pp 193206 Society for Industrial and Applied Mathematics [More Details]. 2000The Suffix Binary Search Tree and Suffix AVL TreeIrving,R.W. Love,L. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. On the Approximability of the Maximum Induced Matching Problem Duckworth,W. Manlove,D.F. Zito,M. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. The Stable Roommates Problem with Ties Irving,R.W. Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. Persistent Suffix Trees and Suffix Binary Search Trees as DNA Sequence Indexes Hunt,E. Irving,R.W. Atkinson,M.P. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. Singleton Consistencies Prosser,P. Stergiou,K. Walsh,T. Proceedings of CP 2000: the 6th International Conference on Principles and Practice of Constraint Programming, (lecture Notes in Computer Science) pp 353368 Springer [More Details]. Solving Vehicle Routing Problems using Constraint Programming and Meta Heuristics De Baker,B. Furnon,V. Kilby,P.J. Prosser,P. Shaw,P. Journal of Heuristics 6(4) pp 501524 Kluwer [More Details]. Combined Super/Substring and Super/Subsequence Problems Middendorf,M. Manlove,D.F. Technical Report no. 397 of the Institute for Applied Computer Science and Formal Description Methods, University of Karlsruhe [More Details]. A comparison of traditional and constraintbased heuristic methods on vehicle routing problems with side constraints Kilby,P.J. Shaw,P. Prosser,P. Journal of Constraints, Volume 5 No 4. pp 389414 Kluwer [More Details]. The Hospitals/Residents Problem with Ties Irving,R.W. Manlove,D.F. Scott,S. Proceedings of SWAT 2000: The 7th Scandinavian Workshop on Algorithm Theory (Halldorsson, Magnus, M., Ed.), volume 1851 of Lecture Notes in Computer Science pp 259271 Springer [More Details]. 1999The Structure of Stable Marriage with IndifferenceManlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. Hard Variants of Stable Marriage Manlove,D.F. Irving,R.W. Iwama,K. Miyazaki,S. Morita,Y. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. Stable Marriage with Ties and Unacceptable Partners Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. Genome Rearrangement Problems Christie,D.A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. Stable marriage with incomplete lists and ties Iwama,K. Manlove,D.F. Miyakazi,S. Morita,Y. Proceedings of ICALP'99: The 26th International Colloquium on Automata, Languages and Programming, volume 1644 of Lecture Notes in Computer Science pp 443452 Springer Verlag [More Details]. On the algorithmic complexity of twelve covering and independence parameters of graphs Manlove,D.F. Discrete Applied Mathematics, volume 91 pp 155175 Elsevier Science [More Details]. Guided Local Search for the Vehicle Routing Problem with time windows Kilby,P.J. Prosser,P. Shaw,P. In Meta Heurstics: advances and trends in local search paradigms for optimisation pp 473486 Kluwer [More Details]. The SPA program (Scottish PRHO Allocation Scheme) Irving,R.W. Low,G.M. Includes published booklet "The Scottish PRHO Allocation Scheme: Algorithms used in the SPA scheme, SCPMDE, 1999" [More Details]. Magic Dice Irving,R.W. Flury,B Goria,M American Mathematical Monthly Volume No. 106 pp 324337 Mathematical Association of America [More Details]. The bchromatic number of a graph Irving,R.W. Manlove,D.F. Discrete Applied Mathematics, volume 91 pp 127141 Elsevier Science [More Details]. The Constrainedness of Constraint Satisfaction Gent,I.P. Prosser,P. Walsh,T. The Tropical Conference on NPhardness and Phase Transactions, ICTP, Trieste [More Details]. Morphing: combining structure and randomness Gent,I.P. Hoos,H. Prosser,P. Walsh,T. Proceedings of the American Association of Artificial Intelligence, AAAI99 MIT Press [More Details]. Thinking on your feet in undergraduate computer science: a constructivist approach to developing and assessing critical thinking Gent,I.P. Johnston,B. Prosser,P. Journal of Teaching in Higher Education (Volume 4, No. 4) pp 511522 [More Details]. The GGT: a generic toolkit for VRP applications and modelling Bouzoubaa,M. Hasle,G. Prosser,P. Proceedings of the International Conference of Practical Applications of Constraint Logic Programming, PACLP99 [More Details]. 1998Random Constraint Satisfaction: Theory Meets PracticeMacIntyre,E. Prosser,P. Smith,B.M. Principles and Practice of Constraint Programming  CP98: 4th International Conference, CP98, Pisa, Italy, October 1998. Proceedings pp 325339 LNCS, Springer [More Details]. Dynamic VRPs: A Study of Scenarios Kilby,P. Prosser,P. Shaw,P. Technical Report APES061998 [More Details]. The Traveling Salesman Problem in Circulant Graphs Gerace,I. Irving,R.W. DCS Tech Report [More Details]. Minimaximal and maximinimal optimisation problems: a partial orderbased approach Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. The Dynamics of Dynamic Variable Ordering Heuristics Prosser,P. Proceedings of Principles and Practice of Constraint Programming  CP98, LNCS1520 pp 1723 Springer [More Details]. Random Constraint Satisfaction: theory meets practice Macintyre,E. Prosser,P. Smith,B.M. Walsh,T. Proceedings ofPrinciples and Practices of Constraint Programming, CP98, LNCS 1520 pp 325339 Springer [More Details]. Generating Solutions for RealWorld Vehicle Routing Problems Kilby,P.J. Prosser,P. Shaw,P. INFORMS [More Details]. A 3/2 Approximation Algorithm for Sorting by Reversals Christie,D.A. Proceedings of SODA'98: The 9th Annual ACMSIAM Symposium on Discrete Algorithms, San Franciso, USA, ACMSIAM. pp 244252 ACM [More Details]. Matching Medical Students to Pairs of Hospitals: a new variation on a wellknown theme Irving,R.W. Proceedings of ESA'98: The 6th Annual European Symposium on Algorithms, Venice, Italy. Lecture Notes in Computer Science, Volume No 1461 pp 381392 Springer [More Details]. 1997Local search in constraint programming: Application to the Vehicle Routing ProblemDeBacker,B. Furnon,V. Kilby,P. Prosser,P. Shaw,P. Proceedings of the CP97 Workshop on Industrial Constraintbased Scheduling [More Details]. On the algorithmic complexity of twelve covering and independence parameters of graphs Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. The bchromatic number of a graph Irving,R.W. Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. On the 2maximal independence number of a graph Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. The constrainedness of arcconsistency Gent,I.P. Macintyre,E. Prosser,P. Shaw,P. Walsh,T. Proceeding of Principles and Prctices of Constraint Programming  CP97, LNCS 1330 pp 327340 Springer [More Details]. The scaling of search cost Gent,I.P. Macintyre,E. Prosser,P. Walsh,T. Proceedings of the American Association of Artificial Intelligence, AAAI97 pp 315320 MIT Press [More Details]. 1996The tetrahedral principle in kite design, revisitedProsser,P. The Kiteflier, the Kite Society of Great Britain quaterly publication [More Details]. An empirical study of the phase transition in binary constraint satisfaction problems Prosser,P. Artificial Intelligence, Volume 81 pp 81109 Elsevier Science [More Details]. Sorting Permutations by Block Interchanges Christie,D.A. Information Processing Letters Volume No. 60 pp 165169 [More Details]. Consistent Subsequences and Supersequences Fraser,C.B. Theoretical Computer Science. Volume No 165 pp 233246 [More Details]. Maximal Common Subsequences and Minimal Common Supersequences Irving,R.W. Fraser,C.B. Middendorf,M. Information and Computation. Volume No 124 pp 145153 Academic Press [More Details]. The constrainedness of search Gent,I.P. Macintyre,E. Prosser,P. Walsh,T. Proceedings of the American Association of Artificial Intelligence, AAAI96 pp 246252 MIT Press [More Details]. An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem Gent,I.P. Macintyre,E. Prosser,P. Smith,B.M. Walsh,T. Proceedings of Principles and Practices of Constraint Programming  CP96, LNCS 1118 pp 179193 Springer [More Details]. 1995MACCBJ: maintaining arc consistency with conflictdirected backjumpingProsser,P. Technical Report 95/177 [More Details]. Stochastic techniques for resource management Brind,C. Muller,C. Prosser,P. BT technology journal pp 5563 [More Details]. Subsequences and Supersequences of Strings Fraser,C.B. [More Details]. Approximation algorithms for the shortest common supersequence Irving,R.W. Fraser,C.B. Nordic Journal of Computing Volume No. 2 pp 303325 Publishing AssoPublishing Association Nordic Journal of Computing [More Details]. Scaling Effects in the CSP Phase Transition Gent,I.P. Macintyre,E. Prosser,P. Walsh,T. Proceedings of Principles and Practices of Constraint Programming  CP95, LNCS 976 pp 7087 Springer [More Details]. 1994Binary constraint satisfaction problems: Some are harder than othersProsser,P. European Conference on Artificial Intelligence (ECAI) pp 9599 [More Details]. The Distributed Asynchronous Scheduler Burke,P. Prosser,P. Intelligent Scheduling (editors Monte Zweben and Mark S. Fox) pp 309340 Morgan Kaufmann [More Details]. Intelligent scheduling: Past, present and future Prosser,P. Buchanan,I. Intelligent Systems Engineering pp 6778 [More Details]. Maximal common subsequences and minimal common supersequences Irving,R.W. Fraser,C.B. Proceedings of CPM'94, the Fifth Annual Symposium on Combinatorial Pattern Matching, Asilomar, California, Lecture Notes in Computer Science vol. 807 pp 173183 Springer [More Details]. Stable marriage and indifference Irving,R.W. Discrete Applied Mathematics Volume No. 48 pp 261272 Elsevier Science [More Details]. Threedimensional statistical data security problems Irving,R.W. Jerrum,M.R. SIAM Journal on Computing Volume No. 23 pp 170184 Society for Industrial and Applied Mathematics [More Details]. An upper bound for the solvability of a random stable roommates instance Pittel,B.G. Irving,R.W. Random Structures and Algorithms Volume No. 5 pp 465486 Wiley [More Details]. 1993Forward Checking with BackmarkingProsser,P. Technical Report AISL4893 [More Details]. Scheduling as a constraint satisfaction problem: theory and practice Prosser,P. Scheduling of production processes pp 2230 Ellis Horwood [More Details]. Distributed genetic algorithms for resource allocation Muller,C. Magill,E.H. Prosser,P. Smith,D.G. Scheduling of production processes pp 7078 Ellis Horwood [More Details]. BM + BJ = BMJ Prosser,P. 9th Conference on Artificial Intelligence for Applications pp 257262 [More Details]. Domain filtering can degrade intelligent backtracking search Prosser,P. 13th International Joint Conference on Artificial Intelligence Morgan Kaufmann [More Details]. Hybrid Algorithms for the Constraint Satisfaction Problem Prosser,P. Computational Intelligence, Volume 9, Number 3 pp 268299 [More Details]. On the worst case behaviour of some approximation algorithms for the shortest common supersequence Irving,R.W. Fraser,C.B. Proceedings of CPM'93, the Fourth Annual Symposium on Combinatorial Pattern Matching, Padova, Italy, Lecture Notes in Computer Science vol. 684 pp 6373 Springer [More Details]. 1992A constraint maintenance system for the distributed resource allocation problemProsser,P. Conway,C. Muller,C. Intelligent Systems Engineering pp 7683 [More Details]. A distributed constraint maintenance system Prosser,P. Conway,C. Muller,C. Proceedings of the 12 International Conference on Artificial Intelligence pp 221231 [More Details]. Two algorithms for the longest common subsequence of three (or more) strings Irving,R.W. Fraser,C.B. Proceedings of CPM'92, the Fourth Annual Symposium on Combinatorial Pattern Matching, Tucson, Arizona, Lecture Notes in Computer Science Vol. 644 pp 214229 Springer [More Details]. 1991A distributed asynchronous system for predictive and reactive scheduling.Burke,P. Prosser,P. Artificial Intelligence in Engineering. Vol. 6, no. pp 106124 [More Details]. On approximating the minimum independent dominating set Irving,R.W. Information Processing Letters Volume No. 37 pp 197200 Elsevier Science [More Details]. 1989A Reactive Scheduling AgentProsser,P. Proceedings International Joint Conference on Artificial Intelligence (IJCAI) [More Details]. Parametric stable marriage and minimum cuts Gusfield,D. Irving,R.W. Information Processing Letters Volume No. 30 pp 255259 Elsevier Science [More Details]. The Stable Marriage Problem: Structure and Algorithms Gusfield,D. Irving,R.W. Research Monograph published by MIT Press MIT Press [More Details]. 1988A hybrid genetic algorithm for pallet loadingProsser,P. European Conference on Artificial Intelligence pp 159164 [More Details]. 1987An efficient algorithm for the optimal stable marriageIrving,R.W. Leather,P. Gusfield,D. Journal of the ACM Volume No. 34 pp 532544 ACM [More Details]. Every finite distibutive lattice is a set of stable matchings for a small stable marriage instance Gusfield,D. Irving,R.W. Leather,P. Saks,M. Journal of Combinatorial Theory (Series A) Volume No. 44 pp 304309 Academic Press [More Details]. 1986The complexity of counting stable marriagesIrving,R.W. Leather,P. SIAM Journal on Computing Volume No. 15 pp 655667 Society for Industrial and Applied Mathematics [More Details]. 1985An efficient algorithm for the stable roommates problemIrving,R.W. Journal of Algorithms Volume No. 6 pp 577595 Academic Press [More Details]. Stable matching problems Irving,R.W. Mathematical Spectrum Volume No. 18 pp 614 [More Details]. 1984Permutation backtracking in lexicographic orderIrving,R.W. The Computer Journal Volume No. 27 pp 373375 British Computer Society [More Details]. 1983NPcompleteness of a family of graph colouring problemsIrving,R.W. Discrete Applied Mathematics Volume No. 5 pp 111117 Elsevier Science [More Details]. 1982On group partitions associated with lower bounds for symmetric Ramsey numbersHill,R. Irving,R.W. European Journal of Combinatorics Volume No. 3 pp 3550 Academic Press [More Details]. 1979Towards an optimum Mastermind strategyIrving,R.W. Journal of Recreational Mathematics Volume No. 11 pp 8187 Baywood [More Details]. 1978A bipartite Ramsey problem and the Zarankiewicz numbersIrving,R.W. Glasgow Mathematical Journal Volume No. 19 pp 1326 [More Details]. 1974Generalised Ramsey numbers for small graphsIrving,R.W. Discrete Mathematics Volume No. 9 pp 251264 Elsevier Science [More Details]. 1973On a bound of Graham & Spencer for a graphcolouring constantIrving,R.W. Journal of Combinatorial Theory (Series B) Volume No. 15 pp 200203 Academic Press [More Details]. An extension of Schur's theorem on sumfree partitions Irving,R.W. Acta Arithmetica Volume No. 25 pp 5564 [More Details]. 
