The following pages link to Justin Pearson (Q334807):
Displaying 29 items.
- A parametric propagator for pairs of \textsc{Sum} constraints with a discrete convexity property (Q334808) (← links)
- A constraint-based local search backend for MiniZinc (Q890003) (← links)
- Static and dynamic structural symmetry breaking (Q976989) (← links)
- Revisiting constraint-directed search (Q1013089) (← links)
- A bound on the overlap of same-sized subsets (Q1021379) (← links)
- Dynamic structural symmetry breaking for constraint satisfaction problems (Q1037643) (← links)
- Constraints and universal algebra (Q1286395) (← links)
- Design and implementation of bounded-length sequence variables (Q2011574) (← links)
- When bounds consistency implies domain consistency for regular counting constraints (Q2079264) (← links)
- Generating compound moves in local search by hybridisation with complete search (Q2327242) (← links)
- On the reification of global constraints (Q2342583) (← links)
- On matrices, automata, and double counting in constraint programming (Q2342587) (← links)
- Generic incremental algorithms for local search (Q2385177) (← links)
- MiniZinc with strings (Q2409726) (← links)
- Design of financial CDO squared transactions using constraint programming (Q2454813) (← links)
- Time-Series Constraints: Improvements and Application in CP and MIP Contexts (Q2815092) (← links)
- An automaton Constraint for Local Search (Q3100179) (← links)
- Solving necklace constraint problems (Q3497511) (← links)
- Incremental Algorithms for Local Search from Existential Second-Order Logic (Q3524163) (← links)
- Inferring Variable Conflicts for Local Search (Q3524266) (← links)
- On Matrices, Automata, and Double Counting (Q3569914) (← links)
- (Q4495111) (← links)
- (Q4818802) (← links)
- (Q4939617) (← links)
- Control With Minimal Cost-Per-Symbol Encoding and Quasi-Optimality of Event-Based Encoders (Q5280412) (← links)
- Set Variables and Local Search (Q5450919) (← links)
- Logic Based Program Synthesis and Transformation (Q5713943) (← links)
- Constraint Solving on Bounded String Variables (Q5741480) (← links)
- Principles and Practice of Constraint Programming – CP 2004 (Q5900296) (← links)
