Pierre Flener

Available identifiers

zbMath Open flener.pierreDBLP08/4454WikidataQ57414007 ScholiaQ57414007MaRDI QIDQ334806

List of research outcomes

Publication	Date of Publication	Type
A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot	2023-09-15	Paper
Generating compound moves in local search by hybridisation with complete search	2019-10-14	Paper
Auto-tabling for subproblem presolving in MiniZinc	2018-02-22	Paper
MiniZinc with strings	2017-10-13	Paper
Design and implementation of bounded-length sequence variables	2017-08-04	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
Combining tree partitioning, precedence, and incomparability constraints	2009-05-29	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
The tree Constraint	2008-03-17	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
Program Development in Computational Logic	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4707743	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4797433	2003-03-13	Paper
An abstract formalization of correct schemas for program synthesis	2001-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4935596	2000-06-13	Paper
Inductive synthesis of recursive logic programs: achievements and prospects	2000-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q4845025	1995-08-30	Paper
Logic program synthesis from incomplete specifications	1994-05-09	Paper

Research outcomes over time

This page was built for person: Pierre Flener