Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Pelleau Marie"'
Publikováno v:
EPTCS 5, 2009, pp. 81-95
This paper presents a new method and a constraint-based objective function to solve two problems related to the design of optical telecommunication networks, namely the Synchronous Optical Network Ring Assignment Problem (SRAP) and the Intra-ring Syn
Externí odkaz:
http://arxiv.org/abs/0910.1255
Publikováno v:
JFPC 2019-Actes des 15es Journées Francophones de Programmation par ContraintesPublished by Xavier Lorca, Élise Vareilles
15es Journées Francophones de Programmation par Contraintes
15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France
15es Journées Francophones de Programmation par Contraintes
15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France
International audience; Les solveurs SAT sont utilisés avec succès dans de nombreuses applications combinatoires et du monde réel. Il n'est maintenant pas rare de lire qu'une preuve mathé-matique implique des centaines de gigaoctets de traces de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::43e697c594cb33b94f21d3cf945ee763
https://hal.univ-cotedazur.fr/hal-02271389/document
https://hal.univ-cotedazur.fr/hal-02271389/document
Publikováno v:
ICTAI
The study of gene networks allows us to better understand some biological processes such as the adaptation of the organism to a disturbance of the environment. In a discrete modelling framework of gene networks, it has been shown that the Hoare logic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ef3fc8409e5c84a9200f38d56f0aa96
https://hal.archives-ouvertes.fr/hal-02002503
https://hal.archives-ouvertes.fr/hal-02002503
Publikováno v:
Treizièmes journées Francophones de Programmation par Contraintes
Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
International audience; Abstract Classical CSP solving methods often alternate two steps : propagation and exploration. Propagation reduces the domains of the variables according to the constraints. It can be seen as a discrimination of the search sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::50d92f63dc6077ee6762e879ac8811e6
https://hal.archives-ouvertes.fr/hal-01735167
https://hal.archives-ouvertes.fr/hal-01735167
Publikováno v:
9èmes Journées Francophones de Programmation par Contraintes
9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268
9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268
International audience; Dans cet article, nous utilisons des techniques de l'interpréation abstraite (une théorie d'approximation des sémantiques) dans le cadre de la programmation par contraintes (basée sur la logique du premier ordre qui permet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b7022315bbd3647b8ded312d8bf9f5be
https://hal.inria.fr/hal-00925430
https://hal.inria.fr/hal-00925430
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Principles & Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings; 2014, p862-869, 8p
Publikováno v:
Verification, Model Checking & Abstract Interpretation (9783642358722); 2013, p434-454, 21p