Publications for 'Dr Patrick Prosser' ordered by Year. (74)2012Exact Algorithms for Maximum Clique: a computational studyProsser,P. SoCS Technical Report Series pp 139 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 113 Dept of Computing Science, University of Glasgow [More Details]. 2010Triangle Packing with Constraint ProgrammingProsser,P. 9th International Workshop on Constraint Modelling and Reformulation (ModRef 2010) pp 115 [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]. 2008A Hardware Relaxation Paradigm for Solving NPHard ProblemsCockshott,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]. LDS : testing the hypothesis Unsworth,C. Prosser,P. DCS Technical Report Series pp 5 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]. 2007A Constraint Programming Approach to the Hospitals / Residents ProblemManlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. DCS Technical Report Series Dept of Computing Science, University of Glasgow [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]. 2006Rooted Tree and Spanning Tree ConstraintsUnsworth,C. Prosser,P. 17th ECAI Workshop on Modelling and Solving Problems with Constraints [More Details]. A Connectivity Constraint using Bridges Prosser,P. Unsworth,C. 17th European Conference on Artificial Intelligence (ECAI 2006) [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]. 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]. Supertree construction with constraint programming: recent progress and new challenges Prosser,P. WCB06  Workshop on Constraint Based Methods for Bioinformatics pp 7582 [More Details]. 2005A Specialised Binary Constraint for the Stable Marriage ProblemUnsworth,C. Prosser,P. Symposium on Abstraction, Reformulation and Approximation (SARA 2005) LNCS, Springer [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]. A Constraint Programming Approach to the Hospitals / Residents Problem Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. DCS Tech Report [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]. 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]. 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 4450 [More Details]. 2004Solving the Rehearsal Problem with Planning and with Model CheckingGregory,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]. 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]. 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 711715 LNCS, Springer [More Details]. 2003A Study of Encodings of Constraint Satisfaction Problems with 0/1 VariablesProsser,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]. 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]. 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]. 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]. 2002An Empirical Study of the Stable Marriage Problem with Ties and Incomplete ListsGent,I.P. Prosser,P. Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002) Academic Press [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]. 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]. A Student Advisory System: a configuration problem for constraint programming McDonald,K. Prosser,P. ECAI 2002 Workshop W4 on Configuration [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]. 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]. 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]. 2001Random Constraint Satisfaction: flaws and structuresGent,I.P. MacIntyre,E. Prosser,P. Smith,B.M. Walsh,T. Journal of Constraints 6(4) pp 345372 Kluwer [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]. 2000Singleton ConsistenciesProsser,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]. 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]. 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]. 1999Guided Local Search for the Vehicle Routing Problem with time windowsKilby,P.J. Prosser,P. Shaw,P. In Meta Heurstics: advances and trends in local search paradigms for optimisation pp 473486 Kluwer [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]. 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]. The Constrainedness of Constraint Satisfaction Gent,I.P. Prosser,P. Walsh,T. The Tropical Conference on NPhardness and Phase Transactions, ICTP, Trieste [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]. 1998Generating Solutions for RealWorld Vehicle Routing ProblemsKilby,P.J. Prosser,P. Shaw,P. INFORMS [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]. The Dynamics of Dynamic Variable Ordering Heuristics Prosser,P. Proceedings of Principles and Practice of Constraint Programming  CP98, LNCS1520 pp 1723 Springer [More Details]. Dynamic VRPs: A Study of Scenarios Kilby,P. Prosser,P. Shaw,P. Technical Report APES061998 [More Details]. 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 325339 LNCS, 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]. 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]. 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]. 1996An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problemGent,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]. 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]. 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 81109 Elsevier Science [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]. 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]. 1994The Distributed Asynchronous SchedulerBurke,P. Prosser,P. Intelligent Scheduling (editors Monte Zweben and Mark S. Fox) pp 309340 Morgan Kaufmann [More Details]. Binary constraint satisfaction problems: Some are harder than others Prosser,P. European Conference on Artificial Intelligence (ECAI) pp 9599 [More Details]. Intelligent scheduling: Past, present and future Prosser,P. Buchanan,I. Intelligent Systems Engineering pp 6778 [More Details]. 1993Distributed genetic algorithms for resource allocationMuller,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]. Scheduling as a constraint satisfaction problem: theory and practice Prosser,P. Scheduling of production processes pp 2230 Ellis Horwood [More Details]. Forward Checking with Backmarking Prosser,P. Technical Report AISL4893 [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]. 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]. 1991A distributed asynchronous system for predictive and reactive scheduling.Burke,P. Prosser,P. Artificial Intelligence in Engineering. Vol. 6, no. pp 106124 [More Details]. 1989A Reactive Scheduling AgentProsser,P. Proceedings International Joint Conference on Artificial Intelligence (IJCAI) [More Details]. 1988A hybrid genetic algorithm for pallet loadingProsser,P. European Conference on Artificial Intelligence pp 159164 [More Details]. 
