Justin Pearson

Dependency-Curated Large Neighbourhood Search

Lewander, Frej Knutar; Flener, Pierre; Pearson, Justin

Part of Principles and Practice of Constraint Programming / [ed] Maria Garcia de la Banda, Germany: Schloss Dagstuhl, 2025, Vol. 340, p. 20:1–20:17, 2025

• DOI for Dependency-Curated Large Neighbourhood Search
• Download full text (pdf) of Dependency-Curated Large Neighbourhood Search

Invariant Graph Propagation in Constraint-Based Local Search

Lewander, Frej Knutar; Flener, Pierre; Pearson, Justin

Part of The journal of artificial intelligence research, 2025

• DOI for Invariant Graph Propagation in Constraint-Based Local Search
• Download full text (pdf) of Invariant Graph Propagation in Constraint-Based Local Search

Parameterised Treewidth for Constraint Modelling Languages

Pearson, Justin

Part of 2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI), p. 43-48, 2024

• DOI for Parameterised Treewidth for Constraint Modelling Languages

Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape

Forghani, Kamran; Carlsson, Mats; Flener, Pierre; Fredriksson, Magnus et al.

Part of Computers and Electronics in Agriculture, 2024

• DOI for Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape

When bounds consistency implies domain consistency for regular counting constraints

Martin, Barnaby; Pearson, Justin

Part of Constraints, p. 161-167, 2022

• DOI for When bounds consistency implies domain consistency for regular counting constraints

Invariant Graph Propagation in Constraint-Based Local Search

Lewander, Frej Knutar; Flener, Pierre; Pearson, Justin

Part of The journal of artificial intelligence research, 2025

• DOI for Invariant Graph Propagation in Constraint-Based Local Search
• Download full text (pdf) of Invariant Graph Propagation in Constraint-Based Local Search

Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape

Forghani, Kamran; Carlsson, Mats; Flener, Pierre; Fredriksson, Magnus et al.

Part of Computers and Electronics in Agriculture, 2024

• DOI for Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape

When bounds consistency implies domain consistency for regular counting constraints

Martin, Barnaby; Pearson, Justin

Part of Constraints, p. 161-167, 2022

• DOI for When bounds consistency implies domain consistency for regular counting constraints

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

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

Part of Artificial Intelligence, p. 170-190, 2016

• DOI for A parametric propagator for pairs of SUM constraints with a discrete convexity property

A constraint-based local search backend for MiniZinc

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

Part of Constraints, p. 325-345, 2015

• DOI for A constraint-based local search backend for MiniZinc

Toward sustainable development in constraint programming

Beldiceanu, Nicolas; Flener, Pierre; Monette, Jean-Noël; Pearson, Justin et al.

Part of Constraints, p. 139-149, 2014

• DOI for Toward sustainable development in constraint programming

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

He, Jun; Flener, Pierre; Pearson, Justin

Part of Journal of Heuristics, p. 729-756, 2013

• DOI for Underestimating the cost of a soft constraint is dangerous: Revisiting the edit-distance based soft regular constraint

On the reification of global constraints

Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin

Part of Constraints, p. 1-6, 2013

• DOI for On the reification of global constraints

On matrices, automata, and double counting in constraint programming

Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin

Part of Constraints, p. 108-140, 2013

• DOI for On matrices, automata, and double counting in constraint programming

Constraint Programming for Air Traffic Management: Preface

Flener, Pierre; Pearson, Justin; Bourgois, Marc

Part of Knowledge engineering review (Print), p. 287-289, 2012

• DOI for Constraint Programming for Air Traffic Management: Preface

Contingency plans for air traffic flow and capacity management using constraint programming

Sundequist Blomdahl, Karl; Flener, Pierre; Pearson, Justin

Part of Journal of Aerospace Operations, p. 249-266, 2012

• DOI for Contingency plans for air traffic flow and capacity management using constraint programming

An automaton constraint for local search

He, Jun; Flener, Pierre; Pearson, Justin

Part of Fundamenta Informaticae, p. 223-248, 2011

• DOI for An automaton constraint for local search

Solving necklace constraint problems

Flener, Pierre; Pearson, Justin

Part of Journal of Algorithms, p. 61-73, 2009

• DOI for Solving necklace constraint problems

Revisiting constraint-directed search

Ågren, Magnus; Flener, Pierre; Pearson, Justin

Part of Information and Computation, p. 438-457, 2009

• DOI for Revisiting constraint-directed search

Dynamic structural symmetry breaking for constraint satisfaction problems

Flener, Pierre; Pearson, Justin; Sellmann, Meinolf; Van Hentenryck, Pascal et al.

Part of Constraints, p. 506-538, 2009

• DOI for Dynamic structural symmetry breaking for constraint satisfaction problems

Static and dynamic structural symmetry breaking

Flener, Pierre; Pearson, Justin; Sellmann, Meinolf

Part of Annals of Mathematics and Artificial Intelligence, p. 37-57, 2009

• DOI for Static and dynamic structural symmetry breaking

A bound on the overlap of same-sized subsets

Sivertsson, Olof; Flener, Pierre; Pearson, Justin

Part of Annals of Combinatorics, p. 347-352, 2008

• DOI for A bound on the overlap of same-sized subsets

Design of financial CDO squared transactions using constraint programming

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

Part of Constraints, p. 179-205, 2007

• DOI for Design of financial CDO squared transactions using constraint programming

Generic incremental algorithms for local search

Ågren, Magnus; Flener, Pierre; Pearson, Justin

Part of Constraints, p. 293-324, 2007

• DOI for Generic incremental algorithms for local search

Air-traffic complexity resolution in multi-sector planning

Flener, Pierre; Pearson, Justin; Ågren, Magnus; Garcia Avello, Carlos et al.

Part of Journal of Air Transport Management, p. 323-328, 2007

• DOI for Air-traffic complexity resolution in multi-sector planning

Constraints and universal algebra

Jeavons, P; Cohen, D; Pearson, J

Part of ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, p. 51-67, 1998

Constraint programming for air traffic management: a survey

Allignol, Cyril; Barnier, Nicolas; Flener, Pierre; Pearson, Justin

Part of Knowledge engineering review (Print), p. 361-392, 2012

• DOI for Constraint programming for air traffic management: a survey

Introducing ESRA, a relational language for modelling combinatorial problems

Flener, Pierre; Pearson, Justin; Ågren, Magnus

Part of LOPSTR'03: Revised Selected Papers, p. 214-232, Springer-Verlag, 2004

Clifford Networks

Pearson, Justin

Part of Complex-Valued Neural Networks Theories and Applications, 2003

Dependency-Curated Large Neighbourhood Search

Lewander, Frej Knutar; Flener, Pierre; Pearson, Justin

Part of Principles and Practice of Constraint Programming / [ed] Maria Garcia de la Banda, Germany: Schloss Dagstuhl, 2025, Vol. 340, p. 20:1–20:17, 2025

• DOI for Dependency-Curated Large Neighbourhood Search
• Download full text (pdf) of Dependency-Curated Large Neighbourhood Search

Parameterised Treewidth for Constraint Modelling Languages

Pearson, Justin

Part of 2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI), p. 43-48, 2024

• DOI for Parameterised Treewidth for Constraint Modelling Languages

Solving Satisfaction Problems using Large-Neighbourhood Search

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

Part of Principles and Practice of Constraint Programming, p. 55-71, 2020

• DOI for Solving Satisfaction Problems using Large-Neighbourhood Search

Generating compound moves in local search by hybridisation with complete search

Björdal, Gustav; Flener, Pierre; Pearson, Justin

Part of Integration of Constraint Programming, Artificial Intelligence, and Operations Research, p. 95-111, 2019

• DOI for Generating compound moves in local search by hybridisation with complete search

Exploring declarative local-search neighbourhoods with constraint programming

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

Part of Principles and Practice of Constraint Programming, p. 37-53, 2019

• DOI for Exploring declarative local-search neighbourhoods with constraint programming

Declarative local-search neighbourhoods in MiniZinc

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

Part of PROCEEDINGS OF THE 2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), p. 98-105, 2018

• DOI for Declarative local-search neighbourhoods in MiniZinc

Exploring properties of a telecommunication protocol with message delay using interactive theorem prover

Dubois, Catherine; Grinchtein, Olga; Pearson, Justin; Carlsson, Mats

Part of Software Engineering and Formal Methods, p. 239-253, 2018

• DOI for Exploring properties of a telecommunication protocol with message delay using interactive theorem prover

Automatic generation of descriptions of time-series constraints

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

Part of IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), p. 102-109, 2017

• DOI for Automatic generation of descriptions of time-series constraints

MiniZinc with strings

Amadini, Roberto; Flener, Pierre; Pearson, Justin; Scott, Joseph D. et al.

Part of Logic-Based Program Synthesis and Transformation, p. 59-75, 2017

• DOI for MiniZinc with strings

Design and implementation of bounded-length sequence variables

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

Part of Integration of AI and OR Techniques in Constraint Programming, p. 51-67, 2017

• DOI for Design and implementation of bounded-length sequence variables

Modelling and verification of user interactions using constraint programming

Carlsson, Mats; Grinchtein, Olga; Pearson, Justin

Part of Proc. 3rd International Conference on Software Quality, Reliability and Security, p. 541-547, 2017

• DOI for Modelling and verification of user interactions using constraint programming

Time-series constraints: Improvements and application in CP and MIP contexts

Arafailova, Ekaterina; Beldiceanu, Nicolas; Douence, Rémi; Flener, Pierre et al.

Part of Integration of AI and OR Techniques in Constraint Programming, p. 18-34, 2016

• DOI for Time-series constraints: Improvements and application in CP and MIP contexts

Systematic derivation of bounds and glue constraints for time-series constraints

Arafailova, Ekaterina; Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre et al.

Part of Principles and Practice of Constraint Programming, p. 13-29, 2016

• DOI for Systematic derivation of bounds and glue constraints for time-series constraints

On the Reification of Global Constraints (Abstract)

Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin

Part of Principles and practice of constraint programming, CP 2015, p. 733-733, 2015

A constraint optimisation model for analysis of telecommunication protocol logs

Grinchtein, Olga; Carlsson, Mats; Pearson, Justin

Part of Tests and Proofs, p. 137-154, 2015

• DOI for A constraint optimisation model for analysis of telecommunication protocol logs

Constraint solving on bounded string variables

Scott, Joseph D.; Flener, Pierre; Pearson, Justin

Part of Integration of AI and OR Techniques in Constraint Programming, p. 375-392, 2015

• DOI for Constraint solving on bounded string variables

A modelling pearl with sortedness constraints

Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Lorca, Xavier et al.

Part of Global Conference on Artificial Intelligence, p. 27-41, 2015

Automated auxiliary variable elimination through on-the-fly propagator generation

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

Part of Principles and Practice of Constraint Programming, p. 313-329, 2015

• DOI for Automated auxiliary variable elimination through on-the-fly propagator generation

Implied constraints for AUTOMATON constraints

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

Part of Global Conference on Artificial Intelligence, p. 113-126, 2015

Testing of a telecommunication protocol using constraint programming

Grinchtein, Olga; Carlsson, Mats; Pearson, Justin

Part of 2015 IEEE Eighth International Conference On Software Testing, Verification And Validation Workshops (ICSTW), 2015

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

Balck, Kenneth; Grinchtein, Olga; Pearson, Justin

Part of 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014

Linking prefixes and suffixes for constraints encoded using automata with accumulators

Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Francisco Rodríguez, María Andreína et al.

Part of Principles and Practice of Constraint Programming, p. 142-157, 2014

• DOI for Linking prefixes and suffixes for constraints encoded using automata with accumulators

A propagator design framework for constraints over sequences

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

Part of Proc. 28th AAAI Conference on Artificial Intelligence, p. 2710-2716, 2014

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

Balck, Kenneth; Grinchtein, Olga; Pearson, Justin

Part of Proc. 17th Conference on Design, Automation and Test in Europe, 2014

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

Protocol log analysis with constraint programming: Work in progress

Carlsson, Mats; Grinchtein, Olga; Pearson, Justin

Part of Satisfiability Modulo Theories, p. 17-26, 2014

Propagating regular counting constraints

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

Part of Proc. 28th AAAI Conference on Artificial Intelligence, p. 2616-2622, 2014

A constraint programming approach for managing end-to-end requirements in sensor network macroprogramming

Hassani Bijarbooneh, Farshid; Pathak, Animesh; Pearson, Justin; Issarny, Valérie et al.

Part of Proc. 3rd International Conference on Sensor Networks, p. 28-40, 2014

• DOI for A constraint programming approach for managing end-to-end requirements in sensor network macroprogramming

Optimising quality of information in data collection for mobile sensor networks

Hassani Bijarbooneh, Farshid; Flener, Pierre; Ngai, Edith; Pearson, Justin

Part of Proc. 21st International Symposium on Quality of Service, p. 163-172, 2013

• DOI for Optimising quality of information in data collection for mobile sensor networks

Solving string constraints: The case for constraint programming

He, Jun; Flener, Pierre; Pearson, Justin; Zhang, Wei Ming

Part of Principles and Practice of Constraint Programming, p. 381-397, 2013

• DOI for Solving string constraints: The case for constraint programming

A parametric propagator for discretely convex pairs of sum constraints

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

Part of Principles and Practice of Constraint Programming, p. 529-544, 2013

• DOI for A parametric propagator for discretely convex pairs of sum constraints

Airspace sectorisation using constraint-based local search

Jägare, Peter; Flener, Pierre; Pearson, Justin

Part of Proc. 10th USA/Europe Air Traffic Management Research and Development Seminar, 2013

• Download full text (pdf) of Airspace sectorisation using constraint-based local search

Des propagateurs indépendants des solveurs

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

Part of Actes des Neuvièmes Journées Francophones de Programmation par Contraintes, p. 227-236, 2013

Generation of implied constraints for automaton-induced decompositions

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

Part of Proc. 25th International Conference on Tools with Artificial Intelligence, p. 1076-1083, 2013

• DOI for Generation of implied constraints for automaton-induced decompositions

Bounded strings for constraint programming

Scott, Joseph D.; Flener, Pierre; Pearson, Justin

Part of Proc. 25th International Conference on Tools with Artificial Intelligence, p. 1036-1043, 2013

• DOI for Bounded strings for constraint programming

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

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

Part of Proc. Wireless Communications and Networking Conference 2012, p. 2108-2112, 2012

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

Towards solver-independent propagators

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

Part of Principles and Practice of Constraint Programming, p. 544-560, 2012

• DOI for Towards solver-independent propagators
• Download full text (pdf) of Towards solver-independent propagators

Solution neighbourhoods for constraint-directed local search

He, Jun; Flener, Pierre; Pearson, Justin

Part of Proc. 27th ACM Symposium on Applied Computing, p. 74-79, 2012

• DOI for Solution neighbourhoods for constraint-directed local search

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

Mancini, Toni; Flener, Pierre; Pearson, Justin K.

Part of Proc. 27th ACM Symposium on Applied Computing, p. 80-87, 2012

• DOI for Combinatorial problem solving over relational databases: View synthesis through constraint-based local search

Consistency of constraint networks induced by automaton-based constraint specifications

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

Part of Proc. 10th International Workshop on Constraint Modelling and Reformulation, p. 117-131, 2011

Energy-efficient task mapping for data-driven sensor network macroprogramming using constraint programming

Hassani Bijarbooneh, Farshid; Flener, Pierre; Ngai, Edith; Pearson, Justin

Part of Operations Research, Computing, and Homeland Defense, p. 199-209, 2011

• DOI for Energy-efficient task mapping for data-driven sensor network macroprogramming using constraint programming

On matrices, automata, and double counting

Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin

Part of Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, p. 10-24, 2010

• DOI for On matrices, automata, and double counting

Contingency plans for air traffic management

Sundequist Blomdahl, Karl; Flener, Pierre; Pearson, Justin

Part of Principles and Practice of Constraint Programming – CP 2010, p. 643-657, 2010

• DOI for Contingency plans for air traffic management

Local search over relational databases

Mancini, Toni; Flener, Pierre; Pearson, Justin

Part of Proc. 7th International Workshop on Local Search Techniques in Constraint Satisfaction, p. 15, 2010

Contingency plans for air traffic flow and capacity management

Sundequist Blomdahl, Karl; Flener, Pierre; Pearson, Justin

Part of Proc. 9th Innovative Research Workshop and Exhibition, p. 119-126, 2010

• Download full text (pdf) of Contingency plans for air traffic flow and capacity management

Energy-efficient task-mapping for data-driven sensor network macroprogramming using constraint programming

Hassani Bijarbooneh, Farshid; Flener, Pierre; Ngai, Edith; Pearson, Justin

Part of Proc. 9th International Workshop on Constraint Modelling and Reformulation, p. 13, 2010

• Download full text (pdf) of Energy-efficient task-mapping for data-driven sensor network macroprogramming using constraint programming

Toward an automaton constraint for local search

He, Jun; Flener, Pierre; Pearson, Justin

Part of Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, p. 13-25, 2009

• DOI for Toward an automaton constraint for local search

Dynamic demand-capacity balancing for air traffic management using constraint-based local search: First results

Hassani Bijarbooneh, Farshid; Flener, Pierre; Pearson, Justin

Part of Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, p. 27-40, 2009

• DOI for Dynamic demand-capacity balancing for air traffic management using constraint-based local search: First results

Constrained optimisation over massive databases

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

Part of Proc. 16th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, p. 16, 2009

Solving necklace constraint problems

Flener, Pierre; Pearson, Justin

Part of Proc. 18th European Conference on Artificial Intelligence, p. 520-524, 2008

Groupoids and conditional symmetry

Gent, Ian P.; Kelsey, Tom; Linton, Steve; Pearson, Justin et al.

Part of Principles and Practice of Constraint Programming – CP 2007, p. 823-830, 2007

• DOI for Groupoids and conditional symmetry

Efficient structural symmetry breaking for constraint satisfaction problems

Flener, Pierre; Pearson, Justin; Sellmann, Meinolf; Van Hentenryck, Pascal et al.

Part of International Symmetry Conference, 2007

Revisiting constraint-directed search

Ågren, Magnus; Flener, Pierre; Pearson, Justin

Part of Proceedings of LSCS'07, the 4th International Workshop on Local Search Techniques in Constraint Satisfaction, 2007

Air-traffic complexity resolution in multi-sector planning using constraint programming

Flener, Pierre; Pearson, Justin; Ågren, Magnus; Garcia Avello, Carlos et al.

Part of Proceedings of ATM'07, the 7th USA/Europe R&D Seminar on Air Traffic Management, 2007

Inferring variable conflicts for local search

Ågren, Magnus; Flener, Pierre; Pearson, Justin

Part of Principles and Practice of Constraint Programming - CP 2006, p. 665-669, 2006

• DOI for Inferring variable conflicts for local search

Static and dynamic structural symmetry breaking

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

Part of Twelfth International Conference on Principles and Practice of Constraint Programming (CP'06), 2006

• DOI for Static and dynamic structural symmetry breaking

Compositional derivation of symmetries for constraint satisfaction

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

Part of Abstraction, Reformulation and Approximation, p. 234-247, 2005

• DOI for Compositional derivation of symmetries for constraint satisfaction

Set variables and local search

Ågren, Magnus; Flener, Pierre; Pearson, Justin

Part of Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, Proceedings, p. 19-33, 2005

Incremental algorithms for local search from existential second-order logic

Ågren, Magnus; Flener, Pierre; Pearson, Justin

Part of Proceedings of Principles and Practice of Constraint Programming - CP 2005, p. 47-61, 2005

Financial portfolio optimisation

Flener, Pierre; Pearson, Justin; Reyna, Luis G.

Part of 10th International Conference on Principles and Practice of Constraint Programming, p. 227-241, 2004

Symmetry breaking in constraint satisfaction with graph-isomorphism: Comma-free codes

Pearson, Justin

Part of Proceedings of AI&M'04, 2004

Tractable symmetry breaking for CSPs with interchangeable values.

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

Part of Proceedings of the eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), p. 277-282, 2003

Breaking symmetries in matrix models: A brief overview.

Flener, Pierre; Frisch, Alan M.; Hnich, Brahim; Jefferson, Chris et al.

Part of Proceedings of the Tenth Workshop on Automated Reasoning (ARW'03), 2003

Breaking all the symmetries in matrix models: Results, conjectures, and directions

Flener, Pierre; Pearson, Justin

Part of Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs, 2002

Breaking row and column symmetries in matrix models

Flener, Pierre; Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep et al.

Part of Principles and Practice of Constraint Programming – CP 2002, p. 462-476, 2002

• DOI for Breaking row and column symmetries in matrix models

Symmetry in matrix models

Flener, P; Frisch, AM; Hnich, B; Kiziltan, Z et al.

Part of Proc. of SymCon'01, the First International Workshop on Symmetry in CSPs, p. 41-47, 2001

Closure functions and width 1 problems

Dalmau, V; Pearson, J

1999

Proc. 10th International Workshop on Symmetry in Constraint Satisfaction Problems

Flener, Pierre; Pearson, Justin

2010

Proc. 9th International Workshop on Constraint Modelling and Reformulation

Mancini, Toni; Pearson, Justin

2010

Proceedings of the 1st International Workshop on Local Search Techniques in Constraint Satisfaction: LSCS 2004

Pearson, Justin; Ågren, Magnus; Bohlin, Markus

2004

Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs

Flener, Pierre; Pearson, Justin

2002

Proceedings of SymCon'01, the First International Workshop on Symmetry in CSPs

Flener, Pierre; Pearson, Justin

2001

Global Constraint Catalog: Volume II, time-series constraints

Arafailova, Ekaterina; Beldiceanu, Nicolas; Douence, Rémi; Carlsson, Mats et al.

2016

Propagators and violation functions for geometric and workload constraints arising in airspace sectorisation

Flener, Pierre; Pearson, Justin

2014

Automatic airspace sectorisation: A survey

Flener, Pierre; Pearson, Justin

2013

Air-Traffic Complexity Resolution in Multi-Sector Planning

Flener, Pierre; Pearson, Justin; Ågren, Magnus; Garcia Avello, Carlos et al.

2007

Structural symmetry breaking for constraint satisfaction problems

Flener, Pierre; Pearson, Justin; Sellmann, Meinolf; Van Hentenryck, Pascal et al.

2007

On Constraint-Oriented Neighbours for Local Search

Ågren, Magnus; Flener, Pierre; Pearson, Justin

2007

Air-traffic complexity resolution using constraint programming

Flener, Pierre; Pearson, Justin; Ågren, Magnus

2004

Worst-case air-traffic generation using constraint programming

Flener, Pierre; Pearson, Justin

2004

Symmetry in Matrix Models

Flener, Pierre; Frisch, Alan; Hnich, Brahim; Kiziltan, Zeynep et al.

2001

• Download full text (ps) of Symmetry in Matrix Models

Comma-free codes

Pearson, Justin

2003