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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Justin Pearson