2009 |
19 | EE | Magnus Ågren,
Pierre Flener,
Justin Pearson:
Revisiting constraint-directed search.
Inf. Comput. 207(3): 438-457 (2009) |
2008 |
18 | EE | Pierre Flener,
Justin Pearson:
Solving Necklace Constraint Problems.
ECAI 2008: 520-524 |
2007 |
17 | EE | Pierre Flener,
Justin Pearson,
Luis G. Reyna,
Olof Sivertsson:
Design of Financial CDO Squared Transactions Using Constraint Programming.
Constraints 12(2): 179-205 (2007) |
16 | EE | Magnus Ågren,
Pierre Flener,
Justin Pearson:
Generic Incremental Algorithms for Local Search.
Constraints 12(3): 293-324 (2007) |
2006 |
15 | EE | Magnus Ågren,
Pierre Flener,
Justin Pearson:
Inferring Variable Conflicts for Local Search.
CP 2006: 665-669 |
14 | EE | Pierre Flener,
Justin Pearson,
Meinolf Sellmann,
Pascal Van Hentenryck:
Static and Dynamic Structural Symmetry Breaking.
CP 2006: 695-699 |
2005 |
13 | EE | Magnus Ågren,
Pierre Flener,
Justin Pearson:
Incremental Algorithms for Local Search from Existential Second-Order Logic.
CP 2005: 47-61 |
12 | EE | Magnus Ågren,
Pierre Flener,
Justin Pearson:
Set Variables and Local Search.
CPAIOR 2005: 19-33 |
11 | EE | Pascal Van Hentenryck,
Pierre Flener,
Justin Pearson,
Magnus Ågren:
Compositional Derivation of Symmetries for Constraint Satisfaction.
SARA 2005: 234-247 |
2004 |
10 | EE | Justin Pearson:
Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes.
AMAI 2004 |
9 | EE | Pierre Flener,
Justin Pearson,
Luis G. Reyna:
Financial Portfolio Optimisation.
CP 2004: 227-241 |
2003 |
8 | EE | Pierre Flener,
Justin Pearson,
Magnus Ågren:
Introducing ESRA, a Relational Language for Modelling Combinatorial Problems.
CP 2003: 971 |
7 | | Pascal Van Hentenryck,
Pierre Flener,
Justin Pearson,
Magnus Ågren:
Tractable Symmetry Breaking for CSPs with Interchangeable Values.
IJCAI 2003: 277-284 |
6 | EE | Pierre Flener,
Justin Pearson,
Magnus Ågren:
Introducing esra, a Relational Language for Modelling Combinatorial Problems.
LOPSTR 2003: 214-232 |
2002 |
5 | EE | Pierre Flener,
Alan M. Frisch,
Brahim Hnich,
Zeynep Kiziltan,
Ian Miguel,
Justin Pearson,
Toby Walsh:
Breaking Row and Column Symmetries in Matrix Models.
CP 2002: 462-476 |
1999 |
4 | EE | Gerd Behrmann,
Kim Guldstrand Larsen,
Justin Pearson,
Carsten Weise,
Wang Yi:
Efficient Timed Reachability Analysis Using Clock Difference Diagrams.
CAV 1999: 341-353 |
3 | | Víctor Dalmau,
Justin Pearson:
Closure Functions and Width 1 Problems.
CP 1999: 159-173 |
2 | | Kim Guldstrand Larsen,
Justin Pearson,
Carsten Weise,
Wang Yi:
Clock Difference Diagrams.
Nord. J. Comput. 6(3): 271-298 (1999) |
1998 |
1 | | Peter Jeavons,
David A. Cohen,
Justin Pearson:
Constraints and Universal Algebra.
Ann. Math. Artif. Intell. 24(1-4): 51-67 (1998) |