Justin Pearson
Universitetslektor vid Institutionen för informationsteknologi; Datalogi
- Telefon:
- 018-471 72 92
- E-post:
- Justin.Pearson@it.uu.se
- Besöksadress:
- Hus 10, Lägerhyddsvägen 1
- Postadress:
- Box 337
751 05 UPPSALA
Ladda ned kontaktuppgifter för Justin Pearson vid Institutionen för informationsteknologi; Datalogi
- Akademiska meriter:
- PhD, Docent
Mer information visas för dig som medarbetare om du loggar in.
Kort presentation
Docent in Computer Science. My research focuses on combinatorial optimisation: in particular I work on the theory and practice of constraint satisfaction.
My homepage can be found here. I am a member of the optimisation group at the IT department.
Nyckelord
- combinatorial (or discrete) optimisation
- complexity theory
- constraint programming
- software testing
Biografi
Denna text finns inte på svenska, därför visas den engelska versionen.
External web page
Publikationer
Senaste publikationer
- Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape (2024)
- When bounds consistency implies domain consistency for regular counting constraints (2022)
- Solving Satisfaction Problems using Large-Neighbourhood Search (2020)
- Generating compound moves in local search by hybridisation with complete search (2019)
- Exploring declarative local-search neighbourhoods with constraint programming (2019)
Alla publikationer
Artiklar
- Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape (2024)
- When bounds consistency implies domain consistency for regular counting constraints (2022)
- A parametric propagator for pairs of SUM constraints with a discrete convexity property (2016)
- A constraint-based local search backend for MiniZinc (2015)
- Toward sustainable development in constraint programming (2014)
- On the reification of global constraints (2013)
- On matrices, automata, and double counting in constraint programming (2013)
- Underestimating the cost of a soft constraint is dangerous (2013)
- Constraint programming for air traffic management (2012)
- Constraint Programming for Air Traffic Management (2012)
- Contingency plans for air traffic flow and capacity management using constraint programming (2012)
- An automaton constraint for local search (2011)
- Solving necklace constraint problems (2009)
- Static and dynamic structural symmetry breaking (2009)
- Dynamic structural symmetry breaking for constraint satisfaction problems (2009)
- Revisiting constraint-directed search (2009)
- A bound on the overlap of same-sized subsets (2008)
- Design of financial CDO squared transactions using constraint programming (2007)
- Air-traffic complexity resolution in multi-sector planning (2007)
- Generic incremental algorithms for local search (2007)
- Constraints and universal algebra (1998)
Böcker
- Proc. 10th International Workshop on Symmetry in Constraint Satisfaction Problems (2010)
- Proc. 9th International Workshop on Constraint Modelling and Reformulation (2010)
- Proceedings of the 1st International Workshop on Local Search Techniques in Constraint Satisfaction (2004)
- Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs (2002)
- Proceedings of SymCon'01, the First International Workshop on Symmetry in CSPs (2001)
Kapitel
- Introducing ESRA, a relational language for modelling combinatorial problems (2004)
- Clifford Networks (2003)
Konferenser
- Solving Satisfaction Problems using Large-Neighbourhood Search (2020)
- Generating compound moves in local search by hybridisation with complete search (2019)
- Exploring declarative local-search neighbourhoods with constraint programming (2019)
- Declarative local-search neighbourhoods in MiniZinc (2018)
- Exploring properties of a telecommunication protocol with message delay using interactive theorem prover (2018)
- MiniZinc with strings (2017)
- Modelling and verification of user interactions using constraint programming (2017)
- Automatic generation of descriptions of time-series constraints (2017)
- Design and implementation of bounded-length sequence variables (2017)
- Systematic derivation of bounds and glue constraints for time-series constraints (2016)
- Time-series constraints (2016)
- A modelling pearl with sortedness constraints (2015)
- On the Reification of Global Constraints (Abstract) (2015)
- Implied constraints for AUTOMATON constraints (2015)
- Testing of a telecommunication protocol using constraint programming (2015)
- A constraint optimisation model for analysis of telecommunication protocol logs (2015)
- Automated auxiliary variable elimination through on-the-fly propagator generation (2015)
- Constraint solving on bounded string variables (2015)
- Model-based protocol log generation for testing a telecommunication test harness using CLP (2014)
- Model-based protocol log generation for testing a telecommunication test harness using CLP (2014)
- Linking prefixes and suffixes for constraints encoded using automata with accumulators (2014)
- Propagating regular counting constraints (2014)
- Protocol log analysis with constraint programming (2014)
- A constraint programming approach for managing end-to-end requirements in sensor network macroprogramming (2014)
- A propagator design framework for constraints over sequences (2014)
- Generation of implied constraints for automaton-induced decompositions (2013)
- Optimising quality of information in data collection for mobile sensor networks (2013)
- Solving string constraints (2013)
- Airspace sectorisation using constraint-based local search (2013)
- A parametric propagator for discretely convex pairs of sum constraints (2013)
- Des propagateurs indépendants des solveurs (2013)
- Bounded strings for constraint programming (2013)
- An optimisation-based approach for wireless sensor deployment in mobile sensing environments (2012)
- Solution neighbourhoods for constraint-directed local search (2012)
- Combinatorial problem solving over relational databases (2012)
- Towards solver-independent propagators (2012)
- Consistency of constraint networks induced by automaton-based constraint specifications (2011)
- Energy-efficient task mapping for data-driven sensor network macroprogramming using constraint programming (2011)
- On matrices, automata, and double counting (2010)
- Energy-efficient task-mapping for data-driven sensor network macroprogramming using constraint programming (2010)
- Local search over relational databases (2010)
- Contingency plans for air traffic management (2010)
- Contingency plans for air traffic flow and capacity management (2010)
- Dynamic demand-capacity balancing for air traffic management using constraint-based local search (2009)
- Toward an automaton constraint for local search (2009)
- Constrained optimisation over massive databases (2009)
- Solving necklace constraint problems (2008)
- Efficient structural symmetry breaking for constraint satisfaction problems (2007)
- Air-traffic complexity resolution in multi-sector planning using constraint programming (2007)
- Groupoids and conditional symmetry (2007)
- Revisiting constraint-directed search (2007)
- Static and dynamic structural symmetry breaking (2006)
- Inferring variable conflicts for local search (2006)
- Compositional derivation of symmetries for constraint satisfaction (2005)
- Set variables and local search (2005)
- Incremental algorithms for local search from existential second-order logic (2005)
- Financial portfolio optimisation (2004)
- Symmetry breaking in constraint satisfaction with graph-isomorphism: Comma-free codes (2004)
- Breaking symmetries in matrix models: A brief overview. (2003)
- Tractable symmetry breaking for CSPs with interchangeable values. (2003)
- Breaking row and column symmetries in matrix models (2002)
- Breaking all the symmetries in matrix models: Results, conjectures, and directions (2002)
- Symmetry in matrix models (2001)
- Closure functions and width 1 problems (1999)
Rapporter
- Global Constraint Catalog (2016)
- Propagators and violation functions for geometric and workload constraints arising in airspace sectorisation (2014)
- Automatic airspace sectorisation (2013)
- Structural symmetry breaking for constraint satisfaction problems (2007)
- Air-Traffic Complexity Resolution in Multi-Sector Planning (2007)
- On Constraint-Oriented Neighbours for Local Search (2007)
- Worst-case air-traffic generation using constraint programming (2004)
- Air-traffic complexity resolution using constraint programming (2004)
Övrigt
