Travelled to:1 × Spain
1 × USA
Collaborated with:I.Gent J.C.Beck E.Selensky
Talks about:problem (2) transform (1) incomplet (1) schedul (1) marriag (1) vehicl (1) stabl (1) graph (1) encod (1) shop (1)
Person: Patrick Prosser
DBLP: Prosser:Patrick
Contributed to:
2002
2002Wrote 2 papers:
- ICGT-2002-BeckPS #graph transformation #problem #scheduling
- Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems (JCB, PP, ES), pp. 60–74.
- SAT-2002-GentP #encoding #problem #satisfiability
- SAT encodings of the stable marriage problem with ties and incomplete lists (IG, PP), p. 19.