How constraint programming can help chemists to generate Benzenoid structures and assess the local Aromaticity of Benzenoids

Autor: Yannick Carissan, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet

Publikováno v: Constraints
Constraints, 2022, ⟨10.1007/s10601-022-09328-x⟩

International audience; Benzenoids are a subfamily of hydrocarbons (molecules that are only made of hydrogen and carbon atoms) whose carbon atoms form hexagons. These molecules are widely studied in theoretical chemistry and have a lot of concrete ap

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2beb4610578d42e45ecdf2e670441cd0
https://doi.org/10.1007/s10601-022-09328-x

Conflict history based heuristic for constraint satisfaction problem solving

Autor: Djamal Habet, Cyril Terrioux

Publikováno v: Journal of Heuristics
Journal of Heuristics, 2021, 27 (6), pp.951-990. ⟨10.1007/s10732-021-09475-z⟩
Journal of Heuristics, Springer Verlag, 2021, 27 (6), pp.951-990. ⟨10.1007/s10732-021-09475-z⟩

International audience; The variable ordering heuristic is an important module in algorithms dedicated to solve Constraint Satisfaction Problems (CSP), while it impacts the efficiency of exploring the search space and the size of the search tree. It

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::855943316f8cfa42bff4a8d417915c6e
https://hal-amu.archives-ouvertes.fr/hal-03276535/file/CHB.pdf

Prise en compte de motifs et génération de structures de benzénoïdes

Autor: Yannick Carissan, Denis Hagebaum-Reignier, Nicolas PRCOVIC, Cyril Terrioux, Adrien Varet

Publikováno v: Actes des 16èmes Journées Francophones de Programmation par Contraintes (JFPC)
Actes des 16èmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2021, Nice, France
HAL

National audience; Les benzénoïdes sont une sous-famille d'hydrocarbures (molécules composées uniquement d'atomes d'hydrogène et de carbone) dont les atomes de carbone forment des hexagones. Ces molécules ont fait l'objet de nombreuses études

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f05ad9de48a9b211dc27a7b5bc988a7e
https://hal-amu.archives-ouvertes.fr/hal-03270882/file/jfpc2021b.pdf

On the Refinement of Conflict History Search Through Multi-Armed Bandit

Autor: Djamal Habet, Mohamed Sami Cherif, Cyril Terrioux

Publikováno v: IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI)
IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2020, Baltimore, United States. pp.264-271, ⟨10.1109/ICTAI50040.2020.00050⟩
ICTAI

International audience; Reinforcement learning has shown its relevance in designing search heuristics for backtracking algorithms dedicated to solving decision problems under constraints. Recently, an efficient heuristic, called Conflict History Sear

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1ae9739d262364b79aadda3b3ba6dc69
https://hal-amu.archives-ouvertes.fr/hal-03132228/file/mab.pdf

Variable Elimination in Binary CSPs (Extended Abstract)

Autor: Achref El Mouelhi, Cyril Terrioux, Martin C. Cooper

Publikováno v: Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}
Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence, Jul 2020, Yokohama, France. pp.5035-5039, ⟨10.24963/ijcai.2020/702⟩
IJCAI
Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}, Jul 2020, Yokohama, France. pp.5035-5039, ⟨10.24963/ijcai.2020/702⟩

International audience; We investigate rules which allow variable elimination in binary CSP (constraint satisfaction problem) instances while conserving satisfiability. We propose new rules and compare them, both theoretically and experimentally. We

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d65bf8836d4d94e1f13132158c6bf95d
https://hal-amu.archives-ouvertes.fr/hal-02897892/document