Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Hugues Wattez"'
Publikováno v:
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence.
In constraint satisfaction problems, the variable ordering heuristic takes a central place by selecting the variables to branch on during backtrack search. As many hand-crafted branching heuristics have been proposed in the literature, a key issue is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::07f8265026984698835b961d2e1b40f4
https://doi.org/10.24963/ijcai.2022/258
https://doi.org/10.24963/ijcai.2022/258
Autor:
Hugues Wattez, Anastasia Paparrizou
Publikováno v:
26th International Conference on Principles and Practice of Constraint Programming
26th International Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain-la-Neuve, Belgium. ⟨10.1007/978-3-030-58475-7_29⟩
Lecture Notes in Computer Science ISBN: 9783030584740
CP
26th International Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain-la-Neuve, Belgium. ⟨10.1007/978-3-030-58475-7_29⟩
Lecture Notes in Computer Science ISBN: 9783030584740
CP
International audience; Variable ordering heuristics are one of the key settings for an efficient constraint solver. During the last two decades, a considerable effort has been spent for designing dynamic heuristics that iteratively change the order
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::200ba8ae8002ae871481ac46cf554cf1
https://hal.archives-ouvertes.fr/hal-03096113/document
https://hal.archives-ouvertes.fr/hal-03096113/document
Publikováno v:
2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI)
ICTAI 2019: IEEE 31st International Conference on Tools with Artificial Intelligence
ICTAI 2019: IEEE 31st International Conference on Tools with Artificial Intelligence, Nov 2019, Portland, United States. ⟨10.1109/ICTAI.2019.00019⟩
ICTAI
ICTAI 2019: IEEE 31st International Conference on Tools with Artificial Intelligence
ICTAI 2019: IEEE 31st International Conference on Tools with Artificial Intelligence, Nov 2019, Portland, United States. ⟨10.1109/ICTAI.2019.00019⟩
ICTAI
International audience; Backtracking search is a complete approach that is traditionally used to solve instances modeled as constraint satisfaction problems. The space explored during search depends dramatically on the order that variables are instan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::900e45c842e84f4d8e239bfa280fe285
https://hal.archives-ouvertes.fr/hal-02414832
https://hal.archives-ouvertes.fr/hal-02414832
Publikováno v:
15es Journées Francophones de Programmation par Contraintes – JFPC 2019
15es Journées Francophones de Programmation par Contraintes – JFPC 2019, Jun 2019, Albi, France
HAL
15es Journées Francophones de Programmation par Contraintes – JFPC 2019, Jun 2019, Albi, France
HAL
International audience; L'automatisation de la configuration des solveurs a reçu une grande attention ces dernières années notam-ment pour la capacité à ajuster ses différents paramètres selon l'instance à résoudre. De plus, cette automatisa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ec5a983c4767c4a8ce2b1b67124ba2a8
https://hal.archives-ouvertes.fr/hal-02414288/document
https://hal.archives-ouvertes.fr/hal-02414288/document
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319920573
IEA/AIE
IEA/AIE
In recent years, a large number of connected objects for the monitoring of activities (health and well-being, sleep, fitness, nutrition, etc.) have emerged and are very popular with the general public. No doubt that their price, their ease of use and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5bddb02c9a4bfa1648781aa470cbad1c
https://doi.org/10.1007/978-3-319-92058-0_66
https://doi.org/10.1007/978-3-319-92058-0_66
Publikováno v:
HAL
11th International Workshop on Pragmatics of SAT (POS'20)
11th International Workshop on Pragmatics of SAT (POS'20), Jul 2020, Alghero (en ligne), Italy
11th International Workshop on Pragmatics of SAT (POS'20)
11th International Workshop on Pragmatics of SAT (POS'20), Jul 2020, Alghero (en ligne), Italy
International audience; When developing a SAT solver, one of the most important parts is to perform experiments so as to evaluate its performance. Most of the time, this process remains the same, so that everybody collects almost the same statistics
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f2889608e606e6f52a0b7763233801cd
https://hal-univ-artois.archives-ouvertes.fr/hal-03301303
https://hal-univ-artois.archives-ouvertes.fr/hal-03301303
Publikováno v:
HAL
16es Journées Francophones de Programmation par Contraintes (JFPC’21)
16es Journées Francophones de Programmation par Contraintes (JFPC’21), Jun 2021, Nice (en ligne), France
16es Journées Francophones de Programmation par Contraintes (JFPC’21)
16es Journées Francophones de Programmation par Contraintes (JFPC’21), Jun 2021, Nice (en ligne), France
National audience; Le développement de solveurs de contraintes s'accompagne nécessairement d'une phase d'expérimentation, permettant d'évaluer les performances des fonctionnalités implantées. Pour chacun des solveurs considérés, il faut alors
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a4ff1822c713ef451630a053a16eadf0
https://hal.archives-ouvertes.fr/hal-03295285
https://hal.archives-ouvertes.fr/hal-03295285