Pierre Flener

From MaRDI portal
Person:334806

Available identifiers

zbMath Open flener.pierreDBLP08/4454WikidataQ57414007 ScholiaQ57414007MaRDI QIDQ334806

List of research outcomes





PublicationDate of PublicationType
A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot2023-09-15Paper
Generating compound moves in local search by hybridisation with complete search2019-10-14Paper
Auto-tabling for subproblem presolving in MiniZinc2018-02-22Paper
MiniZinc with strings2017-10-13Paper
Design and implementation of bounded-length sequence variables2017-08-04Paper
A parametric propagator for pairs of \textsc{Sum} constraints with a discrete convexity property2016-11-01Paper
Constraint Solving on Bounded String Variables2016-07-25Paper
Time-Series Constraints: Improvements and Application in CP and MIP Contexts2016-06-27Paper
A constraint-based local search backend for MiniZinc2015-11-09Paper
On the reification of global constraints2015-04-29Paper
On matrices, automata, and double counting in constraint programming2015-04-29Paper
An automaton Constraint for Local Search2011-11-22Paper
On Matrices, Automata, and Double Counting2010-06-22Paper
Static and dynamic structural symmetry breaking2010-06-16Paper
Dynamic structural symmetry breaking for constraint satisfaction problems2009-11-16Paper
Solving necklace constraint problems2009-07-24Paper
A bound on the overlap of same-sized subsets2009-06-08Paper
Combining tree partitioning, precedence, and incomparability constraints2009-05-29Paper
Revisiting constraint-directed search2009-04-16Paper
Incremental Algorithms for Local Search from Existential Second-Order Logic2008-09-09Paper
Inferring Variable Conflicts for Local Search2008-09-09Paper
Principles and Practice of Constraint Programming – CP 20042008-09-09Paper
The tree Constraint2008-03-17Paper
Set Variables and Local Search2008-03-17Paper
Design of financial CDO squared transactions using constraint programming2007-10-22Paper
Generic incremental algorithms for local search2007-10-11Paper
Logic Based Program Synthesis and Transformation2005-12-27Paper
Program Development in Computational Logic2005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q47077432003-06-11Paper
https://portal.mardi4nfdi.de/entity/Q47974332003-03-13Paper
An abstract formalization of correct schemas for program synthesis2001-02-06Paper
https://portal.mardi4nfdi.de/entity/Q49355962000-06-13Paper
Inductive synthesis of recursive logic programs: achievements and prospects2000-03-27Paper
https://portal.mardi4nfdi.de/entity/Q48450251995-08-30Paper
Logic program synthesis from incomplete specifications1994-05-09Paper

Research outcomes over time

This page was built for person: Pierre Flener