Justin Pearson

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 17

Top Topics

Constraint Programming

Variable Elimination

Complete Search

Top Venues

Constraints An Int. J.

Publications

Kamran Forghani, Mats Carlsson, Pierre Flener, Magnus Fredriksson, Justin Pearson, Di Yuan
Maximizing value yield in wood industry through flexible sawing and product grading based on wane and log shape. Comput. Electron. Agric. 216 (2024)
Barnaby Martin, Justin Pearson
When bounds consistency implies domain consistency for regular counting constraints. Constraints An Int. J. 27 (3) (2022)
Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack
Solving Satisfaction Problems Using Large-Neighbourhood Search. CP (2020)
Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey
Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. CP (2019)
Gustav Björdal, Pierre Flener, Justin Pearson
Generating Compound Moves in Local Search by Hybridisation with Complete Search. CPAIOR (2019)
Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. SEFM (2018)
Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack
Declarative Local-Search Neighbourhoods in MiniZinc. ICTAI (2018)
Mats Carlsson, Olga Grinchtein, Justin Pearson
Modelling and Verification of User Interactions Using Constraint Programming. QRS Companion (2017)
Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte
Design and Implementation of Bounded-Length Sequence Variables. CPAIOR (2017)
María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson
Automatic Generation of Descriptions of Time-Series Constraints. ICTAI (2017)
Justin Pearson, João Pedro Hespanha, Daniel Liberzon
Control With Minimal Cost-Per-Symbol Encoding and Quasi-Optimality of Event-Based Encoders. IEEE Trans. Autom. Control. 62 (5) (2017)
Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
MiniZinc with Strings. LOPSTR (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Time-Series Constraints: Improvements and Application in CP and MIP Contexts. CPAIOR (2016)
Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
MiniZinc with Strings. CoRR (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. CP (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Global Constraint Catalog, Volume II, Time-Series Constraints. CoRR (2016)
Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson
A parametric propagator for pairs of Sum constraints with a discrete convexity property. Artif. Intell. 241 (2016)
Joseph D. Scott, Pierre Flener, Justin Pearson
Constraint Solving on Bounded String Variables. CPAIOR (2015)
Olga Grinchtein, Mats Carlsson, Justin Pearson
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. TAP@STAF (2015)
Gustav Björdal, Jean-Noël Monette, Pierre Flener, Justin Pearson
A constraint-based local search backend for MiniZinc. Constraints An Int. J. 20 (3) (2015)
Olga Grinchtein, Mats Carlsson, Justin Pearson
Testing of a telecommunication protocol using constraint programming. ICST Workshops (2015)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme
A Modelling Pearl with Sortedness Constraints. GCAI (2015)
Jean-Noël Monette, Pierre Flener, Justin Pearson
Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation. CP (2015)
Justin Pearson, João Pedro Hespanha, Daniel Liberzon
Quasi-optimality of event-based encoders. CDC (2015)
María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson
Implied Constraints for Automaton Constraints. GCAI (2015)
Mats Carlsson, Olga Grinchtein, Justin Pearson
Protocol Log Analysis with Constraint Programming. SMT (2014)
Justin Pearson, João Pedro Hespanha, Daniel Liberzon
Control with minimum communication cost per symbol. CDC (2014)
Pierre Flener, Justin Pearson
Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation. CoRR (2014)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson
Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. CP (2014)
Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis
Toward sustainable development in constraint programming. Constraints An Int. J. 19 (2) (2014)
Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck
Propagating Regular Counting Constraints. AAAI (2014)
Farshid Hassani Bijarbooneh, Animesh Pathak, Justin Pearson, Valérie Issarny, Bengt Jonsson
A Constraint Programming Approach for Managing End-to-end Requirements in Sensor Network Macroprogramming. SENSORNETS (2014)
Kenneth Balck, Olga Grinchtein, Justin Pearson
Model-based protocol log generation for testing a telecommunication test harness using CLP. DATE (2014)
Jean-Noël Monette, Pierre Flener, Justin Pearson
A Propagator Design Framework for Constraints over Sequences. AAAI (2014)
Jun He, Pierre Flener, Justin Pearson, Wei Ming Zhang
Solving String Constraints: The Case for Constraint Programming. CP (2013)
Farshid Hassani Bijarbooneh, Pierre Flener, Edith Cheuk-Han Ngai, Justin Pearson
Optimising quality of information in data collection for mobile sensor networks. IWQoS (2013)
María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson
Generation of Implied Constraints for Automaton-Induced Decompositions. ICTAI (2013)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
On matrices, automata, and double counting in constraint programming. Constraints An Int. J. 18 (1) (2013)
Joseph D. Scott, Pierre Flener, Justin Pearson
Bounded Strings for Constraint Programming. ICTAI (2013)
Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck
Propagating Regular Counting Constraints. CoRR (2013)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
On the reification of global constraints. Constraints An Int. J. 18 (1) (2013)
Jun He, Pierre Flener, Justin Pearson
Underestimating the cost of a soft constraint is dangerous: revisiting the edit-distance based soft regular constraint. J. Heuristics 19 (5) (2013)
Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson
A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. CP (2013)
Pierre Flener, Justin Pearson
Automatic Airspace Sectorisation: A Survey. CoRR (2013)
Farshid Hassani Bijarbooneh, Pierre Flener, Edith C. H. Ngai, Justin Pearson
An optimisation-based approach for wireless sensor deployment in mobile sensing environments. WCNC (2012)
Toni Mancini, Pierre Flener, Justin Pearson
Combinatorial problem solving over relational databases: view synthesis through constraint-based local search. SAC (2012)
Cyril Allignol, Nicolas Barnier, Pierre Flener, Justin Pearson
Constraint programming for air traffic management: a survey - In memory of Pascal Brisset. Knowl. Eng. Rev. 27 (3) (2012)
Pierre Flener, Justin Pearson, Marc Bourgois
Constraint programming for air traffic management: preface. Knowl. Eng. Rev. 27 (3) (2012)
Jean-Noël Monette, Pierre Flener, Justin Pearson
Towards Solver-Independent Propagators. CP (2012)
Jun He, Pierre Flener, Justin Pearson
Solution neighbourhoods for constraint-directed local search. SAC (2012)
Jun He, Pierre Flener, Justin Pearson
An automaton Constraint for Local Search. Fundam. Informaticae 107 (2-3) (2011)
Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson
Contingency Plans for Air Traffic Management. CP (2010)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
On Matrices, Automata, and Double Counting. CPAIOR (2010)
Pierre Flener, Justin Pearson
Solving necklace constraint problems. J. Algorithms 64 (2-3) (2009)
Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren
Dynamic structural symmetry breaking for constraint satisfaction problems. Constraints An Int. J. 14 (4) (2009)
Pierre Flener, Justin Pearson, Meinolf Sellmann
Static and dynamic structural symmetry breaking. Ann. Math. Artif. Intell. 57 (1) (2009)
Jun He, Pierre Flener, Justin Pearson
Toward an automaton Constraint for Local Search LSCS (2009)
Farshid Hassani Bijarbooneh, Pierre Flener, Justin Pearson
Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results LSCS (2009)
Magnus Ågren, Pierre Flener, Justin Pearson
Revisiting constraint-directed search. Inf. Comput. 207 (3) (2009)
Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson
Constrained Optimization Over Massive Databases. RCRA@AI*IA (2009)
Pierre Flener, Justin Pearson
Solving Necklace Constraint Problems. ECAI (2008)
Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson
Design of Financial CDO Squared Transactions Using Constraint Programming. Constraints An Int. J. 12 (2) (2007)
Magnus Ågren, Pierre Flener, Justin Pearson
Generic Incremental Algorithms for Local Search. Constraints An Int. J. 12 (3) (2007)
Magnus Ågren, Pierre Flener, Justin Pearson
Inferring Variable Conflicts for Local Search. CP (2006)
Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck
Static and Dynamic Structural Symmetry Breaking. CP (2006)
Magnus Ågren, Pierre Flener, Justin Pearson
Set Variables and Local Search. CPAIOR (2005)
Magnus Ågren, Pierre Flener, Justin Pearson
Incremental Algorithms for Local Search from Existential Second-Order Logic. CP (2005)
Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
Compositional Derivation of Symmetries for Constraint Satisfaction. SARA (2005)
Justin Pearson
Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes. AI&M (2004)
Pierre Flener, Justin Pearson, Luis G. Reyna
Financial Portfolio Optimisation. CP (2004)
Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
Tractable Symmetry Breaking for CSPs with Interchangeable Values. IJCAI (2003)
Pierre Flener, Justin Pearson, Magnus Ågren
Introducing esra, a Relational Language for Modelling Combinatorial Problems. LOPSTR (2003)
Pierre Flener, Justin Pearson, Magnus Ågren
Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. CP (2003)
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)
Víctor Dalmau, Justin Pearson
Closure Functions and Width 1 Problems. CP (1999)
Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV (1999)
Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
Clock Difference Diagrams. Nord. J. Comput. 6 (3) (1999)
Peter Jeavons, David A. Cohen, Justin Pearson
Constraints and Universal Algebra. Ann. Math. Artif. Intell. 24 (1-4) (1998)