|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jun He, Pierre Flener, Justin Pearson |
An automaton Constraint for Local Search.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson |
On Matrices, Automata, and Double Counting. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson |
Contingency Plans for Air Traffic Management. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren |
Dynamic structural symmetry breaking for constraint satisfaction problems. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
Dominance detection, CSP, Tractability, Symmetry breaking |
| 1 | Magnus Ågren, Pierre Flener, Justin Pearson |
Revisiting constraint-directed search. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson |
Solving necklace constraint problems. |
J. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun He, Pierre Flener, Justin Pearson |
Toward an automaton Constraint for Local Search |
LSCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Farshid Hassani Bijarbooneh, Pierre Flener, Justin Pearson |
Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results |
LSCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Meinolf Sellmann |
Static and dynamic structural symmetry breaking. |
Ann. Math. Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson |
Solving Necklace Constraint Problems. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Ågren, Pierre Flener, Justin Pearson |
Generic Incremental Algorithms for Local Search. |
Constraints |
2007 |
DBLP DOI BibTeX RDF |
Monadic existential second-order logic, Local search, Global constraint |
| 1 | Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson |
Design of Financial CDO Squared Transactions Using Constraint Programming. |
Constraints |
2007 |
DBLP DOI BibTeX RDF |
Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming |
| 1 | Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck |
Static and Dynamic Structural Symmetry Breaking. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Ågren, Pierre Flener, Justin Pearson |
Inferring Variable Conflicts for Local Search. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren |
Compositional Derivation of Symmetries for Constraint Satisfaction. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Ågren, Pierre Flener, Justin Pearson |
Set Variables and Local Search. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Ågren, Pierre Flener, Justin Pearson |
Incremental Algorithms for Local Search from Existential Second-Order Logic. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Pearson |
Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes. |
ISAIM |
2004 |
DBLP BibTeX RDF |
|
| 1 | Justin Pearson |
Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes. |
AMAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Luis G. Reyna |
Financial Portfolio Optimisation. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren |
Tractable Symmetry Breaking for CSPs with Interchangeable Values. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Magnus Ågren |
Introducing esra, a Relational Language for Modelling Combinatorial Problems. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Magnus Ågren |
Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi |
Clock Difference Diagrams. |
Nord. J. Comput. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi |
Efficient Timed Reachability Analysis Using Clock Difference Diagrams. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Víctor Dalmau, Justin Pearson |
Closure Functions and Width 1 Problems. |
CP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jeavons, David A. Cohen, Justin Pearson |
Constraints and Universal Algebra. |
Ann. Math. Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")