Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation

Functional description of sequence constraints and synthesis of combinatorial objects

Ekaterina Arafailova 1, 2, 3 
1 TASC - Théorie, Algorithmes et Systèmes en Contraintes
LS2N - Laboratoire des Sciences du Numérique de Nantes
3 GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
Abstract : Contrary to the standard approach consisting in introducing ad hoc constraints and designing dedicated algorithms for handling their combinatorial aspect, this thesis takes another point of view. On the one hand, it focusses on describing a family of sequence constraints in a compositional way by multiple layers of functions. On the other hand, it addresses the combinatorial aspect of both a single constraint and a conjunction of such constraints by synthesising compositional combinatorial objects, namely bounds, linear inequalities, non-linear constraints and finite automata. These objects are obtained in a systematic way and are not instance-specific: they are parameterised by one or several constraints, by the number of variables in a considered sequence of variables, and by the initial domains of the variables. When synthesising such objects we draw full benefit both from the declarative view of such constraints, based on regular expressions, and from the operational view, based on finite transducers and register automata.There are many advantages of synthesising combinatorial objects rather than designing dedicated algorithms: 1) parameterised formulae can be applied in the context of several resolution techniques such as constraint programming or linear programming, whereas algorithms are typically tailored to a specific technique; 2) combinatorial objects can be combined together to provide better performance in practice; 3) finally, the quantities computed by some formulae cannot just be used in an optimisation setting, but also in the context of data mining.
Complete list of metadata

Cited literature [162 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Friday, December 21, 2018 - 7:59:06 AM
Last modification on : Wednesday, April 27, 2022 - 3:42:44 AM
Long-term archiving on: : Friday, March 22, 2019 - 3:43:18 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01962957, version 1


Ekaterina Arafailova. Functional description of sequence constraints and synthesis of combinatorial objects. Discrete Mathematics [cs.DM]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0089⟩. ⟨tel-01962957⟩



Record views


Files downloads