UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for 'Algorithmics Collection' ordered by Year. (219)

2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1989 1988 1987 1986 1985 1984 1983 1982 1979 1978 1974 1973

2013

The Hospitals / Residents problem with Free Pairs
Kwanashie,A.
Manlove,D.F. SoCS Technical Report Series pp 1-19 Dept of Computing Science, University of Glasgow [More Details].

2012

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

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

Paired and Altruistic Kidney Donation in the UK: Algorithms and Experimentation
Manlove,D.F. O'Malley,G. DCS Technical Report Series pp 1-14 Dept of Computing Science, University of Glasgow [More Details].

2011

"Almost stable" matchings in the Roommates problem with bounded preference lists
Biro,P. Manlove,D.F. McDermid,E.J. DCS Technical Report Series pp 1-17 Dept of Computing Science, University of Glasgow [More Details].

Improving man-optimal stable matchings by minimum change of preference lists
Inoshita,T. Irving,R.W. Iwama,K. Miyazaki,S. Nagase,T. Proceedings of the 7th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications (Kyoto, Japan) pp 309-313 [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 1-27 [More Details].

Stable matching with couples: theory and practice
Biro,P. Irving,R.W. Schlotter,I. DCS Technical Report Series pp 1-32 Dept of Computing Science, University of Glasgow [More Details].

2010

An Introduction to Pervasive Automata
Calder,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 48-65 [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 3136-3153 [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].

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

Triangle Packing with Constraint Programming
Prosser,P. 9th International Workshop on Constraint Modelling and Reformulation (ModRef 2010) pp 1-15 [More Details].

Fractional solutions for NTU-games
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 102-116 Elsevier Science [More Details].

Size versus stability in the Marriage problem
Biro,P. Manlove,D.F. Mittal,S. Theoretical Computer Science, volume 411 pp 1828-1841 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 279-303 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].

2009

Maximum weight cycle packing in directed graphs, with application to kidney exchange programs
Biro,P. Manlove,D.F. Rizzi,R. Discrete Mathematics, Algorithms and Applications, volume 1, number 4 pp 499-517 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 506-515 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 1-30 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 15-28 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 1-30 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 149-167 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 213-219 Elsevier Science [More Details].

2008

The Stable Roommates problem with Globally-Ranked Pairs
Abraham,D.J. Levavi,A.
Manlove,D.F. O'Malley,G. Internet Mathematics, volume 5, number 4 pp 493-515 [More Details].

Popular Matchings: Structure and Algorithms
McDermid,E. Irving,R.W. DCS Technical Report Series pp 1-20 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 1-7 Dept of Computing Science, University of Glasgow [More Details].

Integral Stable Allocation Problem on Graphs
Biro,P. Fleiner,T. DCS Technical Report Series pp 1-12 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 901-938 AAAI Press [More Details].

Stable matching problems with exchange restrictions
Irving,R.W. Journal of Combinatorial Optimization vol. 16 pp 344-360 Springer [More Details].

A 3/2-approximation 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 NP-Hard Problems
Cockshott,W.P. Koltes,A. O'Donnell,J.T. Prosser,P. Vanderbauwhede,W. Visions of Computer Science, BCS International Academic Research Conference pp 1-12 [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 2959-2977 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 279-292 Springer [More Details].

An algorithm for a super-stable roommates problem
Fleiner,T. Irving,R.W. Manlove,D.F. Proceedings of Match-UP: Matching Under Preferences - Algorithms and Complexity pp 126-132 [More Details].

Hospitals / Residents Problem
Manlove,D.F. Encyclopedia of Algorithms (entry number 180) pp 390-394 Springer [More Details].

Student-project allocation with preferences over projects
Manlove,D.F. O'Malley,G. Journal of Discrete Algorithms, volume 6 pp 553-560 Elsevier Science [More Details].

2007

Approximation algorithms for hard variants of the stable marriage and hospitals/residents problems
Irving,R.W. Manlove,D.F. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

The Stable Roommates problem with Globally-Ranked 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 Globally-Ranked 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 431-444 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 129-140 [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 many-to-many extension of stable roommates
Irving,R.W. Scott,S. Discrete Applied Mathematics vol. 155 pp 2118-2129 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 162-176 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 CP-AI-OR '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 155-170 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 548-558 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 1-4 Elsevier Science [More Details].

Two Algorithms for the Student-Project Allocation Problem
Abraham,D.J. Irving,R.W. Manlove,D.F. Journal of Discrete Algorithms vol. 5 pp 73-90 Elsevier Science [More Details].

2006

Supertree construction with constraint programming: recent progress and new challenges
Prosser,P. WCB06 - Workshop on Constraint Based Methods for Bioinformatics pp 75-82 [More Details].

Maintaining Singleton Arc Consistency
Lecoutre,C. Prosser,P. Proceedings of the 3rd International Workshop on Constraint Propagation And Implementation (CPAI'2006) pp 47-61 [More Details].

A case study of mutual scheduling-routing reformulation
Beck,J.C.B. Prosser,P. Selensky,E. Journal of Scheduling (volume 9) pp 469-491 Springer [More Details].

Rank-maximal matchings
Irving,R.W. Michail,D. Mehlhorn,K. Paluch,K. Telikepalli,K. ACM Transactions on Algorithms vol. 2 no. 4 pp 491-499 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 492-503 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 69-84 [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 95-106 [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 1-14 Springer Verlag [More Details].

2005

A Constraint model and a reduction operator for the minimising open stacks problem
Miller,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 44-50 [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 28-43 [More Details].

The Exchange-Stable Marriage Problem
Cechlarova,K. Manlove,D.F. Discrete Applied Mathematics, volume 152 pp 109-122 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 n-ary 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 10-17 [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].

Student-project 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 69-80 [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 424-432 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 79-91 Elsevier Science [More Details].

2004

Failing First: An Update
Beck,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 711-715 LNCS, Springer [More Details].

Two Algorithms for the Student-Project 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 1-16 [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 3-15 Springer Verlag [More Details].

Man-Exchange Stable Marriage
Irving,R.W. pp 1-11 [More Details].

Trying Again to Fail-First
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 41-55 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 157--171 [More Details].

Stability in labour market games
Cechlarova,K. Irving,R.W. Manlove,D.F. ERCIM News, volume 57 pp 27-28 [More Details].

Plagiarism and collusion detection using the Smith-Waterman algorithm
Irving,R.W. DCS Technical Report pp 1-24 Dept of Computing Science, University of Glasgow [More Details].

Rank-maximal matchings
Irving,R.W. Kavitha,T. Mehlhorn,K. Michail,D. Paluch,K. Proceedings of 15th Annual ACM-SIAM 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 247-267 Elsevier Science [More Details].

2003

Towards understanding variable ordering heuristics for constraint satisfaction problems
Beck,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 837-841 Springer [More Details].

The suffix binary search tree and suffix AVL tree
Irving,R.W. Love,L. Journal of Discrete Algorithms Volume 1 pp 387-408 Elsevier Science [More Details].

The Student-Project Allocation Problem
Abraham,D.J. Irving,R.W. Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

The Student-Project 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 474-484 Springer Verlag [More Details].

The Exchange-Stable 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 431-447 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 439-450 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].

2002

A 0/1 encoding of the GACLex constraint for pairs of vectors
Gent,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 60-74 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 256-271 Springer [More Details].

The Stable Roommates Problem with Ties
Irving,R.W. Manlove,D.F. Journal of Algorithms, volume 43 pp 85-105 Academic Press [More Details].

The structure of stable marriage with indifference
Manlove,D.F. Discrete Applied Mathematics, volume 122 pp 167-181 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 261-279 Elsevier Science [More Details].

2001

Suffix Binary Search Trees and Suffix Arrays
Irving,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 345-372 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 139-148 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 225-239 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 193-206 Society for Industrial and Applied Mathematics [More Details].

2000

The Suffix Binary Search Tree and Suffix AVL Tree
Irving,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 353-368 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 501-524 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 constraint-based heuristic methods on vehicle routing problems with side constraints
Kilby,P.J. Shaw,P. Prosser,P. Journal of Constraints, Volume 5 No 4. pp 389-414 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 259-271 Springer [More Details].

1999

The Structure of Stable Marriage with Indifference
Manlove,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 443-452 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 155-175 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 473-486 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 324-337 Mathematical Association of America [More Details].

The b-chromatic number of a graph
Irving,R.W. Manlove,D.F. Discrete Applied Mathematics, volume 91 pp 127-141 Elsevier Science [More Details].

The Constrainedness of Constraint Satisfaction
Gent,I.P. Prosser,P. Walsh,T. The Tropical Conference on NP-hardness 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 511-522 [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].

1998

Random Constraint Satisfaction: Theory Meets Practice
MacIntyre,E.
Prosser,P. Smith,B.M. Principles and Practice of Constraint Programming - CP98: 4th International Conference, CP98, Pisa, Italy, October 1998. Proceedings pp 325-339 LNCS, Springer [More Details].

Dynamic VRPs: A Study of Scenarios
Kilby,P. Prosser,P. Shaw,P. Technical Report APES-06-1998 [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 order-based 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 17-23 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 325-339 Springer [More Details].

Generating Solutions for Real-World 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 ACM-SIAM Symposium on Discrete Algorithms, San Franciso, USA, ACM-SIAM. pp 244-252 ACM [More Details].

Matching Medical Students to Pairs of Hospitals: a new variation on a well-known 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 381-392 Springer [More Details].

1997

Local search in constraint programming: Application to the Vehicle Routing Problem
DeBacker,B. Furnon,V. Kilby,P.
Prosser,P. Shaw,P. Proceedings of the CP-97 Workshop on Industrial Constraint-based 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 b-chromatic number of a graph
Irving,R.W. Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

On the 2-maximal independence number of a graph
Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

The constrainedness of arc-consistency
Gent,I.P. Macintyre,E. Prosser,P. Shaw,P. Walsh,T. Proceeding of Principles and Prctices of Constraint Programming - CP97, LNCS 1330 pp 327-340 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, AAAI-97 pp 315-320 MIT Press [More Details].

1996

The tetrahedral principle in kite design, revisited
Prosser,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 81-109 Elsevier Science [More Details].

Sorting Permutations by Block Interchanges
Christie,D.A. Information Processing Letters Volume No. 60 pp 165-169 [More Details].

Consistent Subsequences and Supersequences
Fraser,C.B. Theoretical Computer Science. Volume No 165 pp 233-246 [More Details].

Maximal Common Subsequences and Minimal Common Supersequences
Irving,R.W. Fraser,C.B. Middendorf,M. Information and Computation. Volume No 124 pp 145-153 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, AAAI-96 pp 246-252 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 179-193 Springer [More Details].

1995

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

Stochastic techniques for resource management
Brind,C. Muller,C. Prosser,P. BT technology journal pp 55-63 [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 303-325 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 70-87 Springer [More Details].

1994

Binary constraint satisfaction problems: Some are harder than others
Prosser,P. European Conference on Artificial Intelligence (ECAI) pp 95-99 [More Details].

The Distributed Asynchronous Scheduler
Burke,P. Prosser,P. Intelligent Scheduling (editors Monte Zweben and Mark S. Fox) pp 309-340 Morgan Kaufmann [More Details].

Intelligent scheduling: Past, present and future
Prosser,P. Buchanan,I. Intelligent Systems Engineering pp 67-78 [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 173-183 Springer [More Details].

Stable marriage and indifference
Irving,R.W. Discrete Applied Mathematics Volume No. 48 pp 261-272 Elsevier Science [More Details].

Three-dimensional statistical data security problems
Irving,R.W. Jerrum,M.R. SIAM Journal on Computing Volume No. 23 pp 170-184 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 465-486 Wiley [More Details].

1993

Forward Checking with Backmarking
Prosser,P. Technical Report AISL-48-93 [More Details].

Scheduling as a constraint satisfaction problem: theory and practice
Prosser,P. Scheduling of production processes pp 22-30 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 70-78 Ellis Horwood [More Details].

BM + BJ = BMJ
Prosser,P. 9th Conference on Artificial Intelligence for Applications pp 257-262 [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 268-299 [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 63-73 Springer [More Details].

1992

A constraint maintenance system for the distributed resource allocation problem
Prosser,P. Conway,C. Muller,C. Intelligent Systems Engineering pp 76-83 [More Details].

A distributed constraint maintenance system
Prosser,P. Conway,C. Muller,C. Proceedings of the 12 International Conference on Artificial Intelligence pp 221-231 [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 214-229 Springer [More Details].

1991

A distributed asynchronous system for predictive and reactive scheduling.
Burke,P.
Prosser,P. Artificial Intelligence in Engineering. Vol. 6, no. pp 106-124 [More Details].

On approximating the minimum independent dominating set
Irving,R.W. Information Processing Letters Volume No. 37 pp 197-200 Elsevier Science [More Details].

1989

A Reactive Scheduling Agent
Prosser,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 255-259 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].

1988

A hybrid genetic algorithm for pallet loading
Prosser,P. European Conference on Artificial Intelligence pp 159-164 [More Details].

1987

An efficient algorithm for the optimal stable marriage
Irving,R.W. Leather,P. Gusfield,D. Journal of the ACM Volume No. 34 pp 532-544 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 304-309 Academic Press [More Details].

1986

The complexity of counting stable marriages
Irving,R.W. Leather,P. SIAM Journal on Computing Volume No. 15 pp 655-667 Society for Industrial and Applied Mathematics [More Details].

1985

An efficient algorithm for the stable roommates problem
Irving,R.W. Journal of Algorithms Volume No. 6 pp 577-595 Academic Press [More Details].

Stable matching problems
Irving,R.W. Mathematical Spectrum Volume No. 18 pp 6-14 [More Details].

1984

Permutation backtracking in lexicographic order
Irving,R.W. The Computer Journal Volume No. 27 pp 373-375 British Computer Society [More Details].

1983

NP-completeness of a family of graph colouring problems
Irving,R.W. Discrete Applied Mathematics Volume No. 5 pp 111-117 Elsevier Science [More Details].

1982

On group partitions associated with lower bounds for symmetric Ramsey numbers
Hill,R.
Irving,R.W. European Journal of Combinatorics Volume No. 3 pp 35-50 Academic Press [More Details].

1979

Towards an optimum Mastermind strategy
Irving,R.W. Journal of Recreational Mathematics Volume No. 11 pp 81-87 Baywood [More Details].

1978

A bipartite Ramsey problem and the Zarankiewicz numbers
Irving,R.W. Glasgow Mathematical Journal Volume No. 19 pp 13-26 [More Details].

1974

Generalised Ramsey numbers for small graphs
Irving,R.W. Discrete Mathematics Volume No. 9 pp 251-264 Elsevier Science [More Details].

1973

On a bound of Graham & Spencer for a graph-colouring constant
Irving,R.W. Journal of Combinatorial Theory (Series B) Volume No. 15 pp 200-203 Academic Press [More Details].

An extension of Schur's theorem on sum-free partitions
Irving,R.W. Acta Arithmetica Volume No. 25 pp 55-64 [More Details].