Justin Pearson

Available identifiers

zbMath Open pearson.justinMaRDI QIDQ334807

List of research outcomes

Publication	Date of Publication	Type
When bounds consistency implies domain consistency for regular counting constraints	2022-09-29	Paper
Generating compound moves in local search by hybridisation with complete search	2019-10-14	Paper
MiniZinc with strings	2017-10-13	Paper
Design and implementation of bounded-length sequence variables	2017-08-04	Paper
Control With Minimal Cost-Per-Symbol Encoding and Quasi-Optimality of Event-Based Encoders	2017-07-27	Paper
A parametric propagator for pairs of \textsc{Sum} constraints with a discrete convexity property	2016-11-01	Paper
Constraint Solving on Bounded String Variables	2016-07-25	Paper
Time-Series Constraints: Improvements and Application in CP and MIP Contexts	2016-06-27	Paper
A constraint-based local search backend for MiniZinc	2015-11-09	Paper
On the reification of global constraints	2015-04-29	Paper
On matrices, automata, and double counting in constraint programming	2015-04-29	Paper
An automaton constraint for local search	2011-11-22	Paper
On matrices, automata, and double counting	2010-06-22	Paper
Static and dynamic structural symmetry breaking	2010-06-16	Paper
Dynamic structural symmetry breaking for constraint satisfaction problems	2009-11-16	Paper
Solving necklace constraint problems	2009-07-24	Paper
A bound on the overlap of same-sized subsets	2009-06-08	Paper
Revisiting constraint-directed search	2009-04-16	Paper
Incremental Algorithms for Local Search from Existential Second-Order Logic	2008-09-09	Paper
Inferring Variable Conflicts for Local Search	2008-09-09	Paper
Principles and Practice of Constraint Programming – CP 2004	2008-09-09	Paper
Set Variables and Local Search	2008-03-17	Paper
Design of financial CDO squared transactions using constraint programming	2007-10-22	Paper
Generic incremental algorithms for local search	2007-10-11	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
https://portal.mardi4nfdi.de/entity/Q4818802	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4495111	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4939617	2000-02-06	Paper
Constraints and universal algebra	1999-05-03	Paper

Research outcomes over time

This page was built for person: Justin Pearson