The following pages link to Pierre Flener (Q334806):
Displaying 35 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)
- Combining tree partitioning, precedence, and incomparability constraints (Q1020493) (← links)
- A bound on the overlap of same-sized subsets (Q1021379) (← links)
- Dynamic structural symmetry breaking for constraint satisfaction problems (Q1037643) (← links)
- Logic program synthesis from incomplete specifications (Q1322854) (← links)
- An abstract formalization of correct schemas for program synthesis (Q1583858) (← links)
- Auto-tabling for subproblem presolving in MiniZinc (Q1701238) (← links)
- Design and implementation of bounded-length sequence variables (Q2011574) (← 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)
- (Q4707743) (← links)
- (Q4797433) (← links)
- (Q4845025) (← links)
- Completing open logic programs by constructive induction (Q4935596) (← links)
- Inductive synthesis of recursive logic programs: achievements and prospects (Q4939536) (← links)
- Set Variables and Local Search (Q5450919) (← links)
- The tree Constraint (Q5450922) (← links)
- Program Development in Computational Logic (Q5712543) (← 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)
- A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot (Q6073303) (← links)
