Justin Pearson

According to our database, Justin Pearson authored at least 74 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Maximizing value yield in wood industry through flexible sawing and product grading based on wane and log shape.

Kamran Forghani, Mats Carlsson, Pierre Flener, Magnus Fredriksson, Justin Pearson, Di Yuan

Comput. Electron. Agric., January, 2024

2022

When bounds consistency implies domain consistency for regular counting constraints.

Barnaby Martin, Justin Pearson

Constraints An Int. J., 2022

2020

Solving Satisfaction Problems Using Large-Neighbourhood Search.

Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Generating Compound Moves in Local Search by Hybridisation with Complete Search.

Gustav Björdal, Pierre Flener, Justin Pearson

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Exploring Declarative Local-Search Neighbourhoods with Constraint Programming.

Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover.

Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Declarative Local-Search Neighbourhoods in MiniZinc.

Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

2017

Control With Minimal Cost-Per-Symbol Encoding and Quasi-Optimality of Event-Based Encoders.

Justin Pearson, João Pedro Hespanha, Daniel Liberzon

IEEE Trans. Autom. Control., 2017

Modelling and Verification of User Interactions Using Constraint Programming.

Mats Carlsson, Olga Grinchtein, Justin Pearson

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Automatic Generation of Descriptions of Time-Series Constraints.

María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Design and Implementation of Bounded-Length Sequence Variables.

Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

2016

Global Constraint Catalog, Volume II, Time-Series Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

CoRR, 2016

A parametric propagator for pairs of Sum constraints with a discrete convexity property.

Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson

Artif. Intell., 2016

MiniZinc with Strings.

Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Time-Series Constraints: Improvements and Application in CP and MIP Contexts.

Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

A constraint-based local search backend for MiniZinc.

Gustav Björdal, Jean-Noël Monette, Pierre Flener, Justin Pearson

Constraints An Int. J., 2015

A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs.

Olga Grinchtein, Mats Carlsson, Justin Pearson

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Testing of a telecommunication protocol using constraint programming.

Olga Grinchtein, Mats Carlsson, Justin Pearson

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Implied Constraints for Automaton Constraints.

María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson

Proceedings of the Global Conference on Artificial Intelligence, 2015

A Modelling Pearl with Sortedness Constraints.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme

Proceedings of the Global Conference on Artificial Intelligence, 2015

Constraint Solving on Bounded String Variables.

Joseph D. Scott, Pierre Flener, Justin Pearson

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation.

Jean-Noël Monette, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2015

Quasi-optimality of event-based encoders.

Justin Pearson, João Pedro Hespanha, Daniel Liberzon

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation.

Pierre Flener, Justin Pearson

CoRR, 2014

Toward sustainable development in constraint programming.

Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis

Constraints An Int. J., 2014

Protocol Log Analysis with Constraint Programming.

Mats Carlsson, Olga Grinchtein, Justin Pearson

Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

A Constraint Programming Approach for Managing End-to-end Requirements in Sensor Network Macroprogramming.

Farshid Hassani Bijarbooneh, Animesh Pathak, Justin Pearson, Valérie Issarny, Bengt Jonsson

Proceedings of the SENSORNETS 2014 - Proceedings of the 3rd International Conference on Sensor Networks, Lisbon, Portugal, 7, 2014

Model-based protocol log generation for testing a telecommunication test harness using CLP.

Kenneth Balck, Olga Grinchtein, Justin Pearson

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2014

Control with minimum communication cost per symbol.

Justin Pearson, João Pedro Hespanha, Daniel Liberzon

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

A Propagator Design Framework for Constraints over Sequences.

Jean-Noël Monette, Pierre Flener, Justin Pearson

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Propagating Regular Counting Constraints.

Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Underestimating the cost of a soft constraint is dangerous: revisiting the edit-distance based soft regular constraint.

Jun He, Pierre Flener, Justin Pearson

J. Heuristics, 2013

Automatic Airspace Sectorisation: A Survey.

Pierre Flener, Justin Pearson

CoRR, 2013

On matrices, automata, and double counting in constraint programming.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Constraints An Int. J., 2013

On the reification of global constraints.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Constraints An Int. J., 2013

Optimising quality of information in data collection for mobile sensor networks.

Farshid Hassani Bijarbooneh, Pierre Flener, Edith Cheuk-Han Ngai, Justin Pearson

Proceedings of the 21st IEEE/ACM International Symposium on Quality of Service, 2013

Bounded Strings for Constraint Programming.

Joseph D. Scott, Pierre Flener, Justin Pearson

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Generation of Implied Constraints for Automaton-Induced Decompositions.

María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

A Parametric Propagator for Discretely Convex Pairs of Sum Constraints.

Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2013

Solving String Constraints: The Case for Constraint Programming.

Jun He, Pierre Flener, Justin Pearson, Weiming Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Constraint programming for air traffic management: preface.

Pierre Flener, Justin Pearson, Marc Bourgois

Knowl. Eng. Rev., 2012

Constraint programming for air traffic management: a survey - In memory of Pascal Brisset.

Cyril Allignol, Nicolas Barnier, Pierre Flener, Justin Pearson

Knowl. Eng. Rev., 2012

An optimisation-based approach for wireless sensor deployment in mobile sensing environments.

Farshid Hassani Bijarbooneh, Pierre Flener, Edith C. H. Ngai, Justin Pearson

Proceedings of the 2012 IEEE Wireless Communications and Networking Conference, 2012

Combinatorial problem solving over relational databases: view synthesis through constraint-based local search.

Toni Mancini, Pierre Flener, Justin Pearson

Proceedings of the ACM Symposium on Applied Computing, 2012

Solution neighbourhoods for constraint-directed local search.

Jun He, Pierre Flener, Justin Pearson

Proceedings of the ACM Symposium on Applied Computing, 2012

Towards Solver-Independent Propagators.

Jean-Noël Monette, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

An automaton Constraint for Local Search.

Jun He, Pierre Flener, Justin Pearson

Fundam. Informaticae, 2011

2010

On Matrices, Automata, and Double Counting.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Contingency Plans for Air Traffic Management.

Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Solving necklace constraint problems.

Pierre Flener, Justin Pearson

J. Algorithms, 2009

Revisiting constraint-directed search.

Magnus Ågren, Pierre Flener, Justin Pearson

Inf. Comput., 2009

Toward an automaton Constraint for Local Search

Jun He, Pierre Flener, Justin Pearson

Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009

Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results

Farshid Hassani Bijarbooneh, Pierre Flener, Justin Pearson

Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009

Dynamic structural symmetry breaking for constraint satisfaction problems.

Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren

Constraints An Int. J., 2009

Static and dynamic structural symmetry breaking.

Pierre Flener, Justin Pearson, Meinolf Sellmann

Ann. Math. Artif. Intell., 2009

Constrained Optimization Over Massive Databases.

Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson

Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009

2007

Design of Financial CDO Squared Transactions Using Constraint Programming.

Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson

Constraints An Int. J., 2007

Generic Incremental Algorithms for Local Search.

Magnus Ågren, Pierre Flener, Justin Pearson

Constraints An Int. J., 2007

2006

Static and Dynamic Structural Symmetry Breaking.

Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2006

Inferring Variable Conflicts for Local Search.

Magnus Ågren, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Compositional Derivation of Symmetries for Constraint Satisfaction.

Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren

Proceedings of the Abstraction, 2005

Set Variables and Local Search.

Magnus Ågren, Pierre Flener, Justin Pearson

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Incremental Algorithms for Local Search from Existential Second-Order Logic.

Magnus Ågren, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes.

Justin Pearson

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2004

Financial Portfolio Optimisation.

Pierre Flener, Justin Pearson, Luis G. Reyna

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Tractable Symmetry Breaking for CSPs with Interchangeable Values.

Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren

Proceedings of the IJCAI-03, 2003

Introducing ESRA, a Relational Language for Modelling Combinatorial Problems.

Pierre Flener, Justin Pearson, Magnus Ågren

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Breaking Row and Column Symmetries in Matrix Models.

Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh

Proceedings of the Principles and Practice of Constraint Programming, 2002

1999

Clock Difference Diagrams.

Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi

Nord. J. Comput., 1999

Closure Functions and Width 1 Problems.

Víctor Dalmau, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 1999

Efficient Timed Reachability Analysis Using Clock Difference Diagrams.

Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Constraints and Universal Algebra.

Peter Jeavons, David A. Cohen, Justin Pearson

Ann. Math. Artif. Intell., 1998