-
1Conference
المؤلفون: Povéda, Guillaume, Alvarez, Nahum, Artigues, Christian
المساهمون: Airbus France, Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019)
المصدر: 29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
https://laas.hal.science/hal-04217223
29th International Conference on Principles and Practice of Constraint Programming (CP 2023), Aug 2023, Toronto, Canada. ⟨10.4230/LIPIcs.CP.2023.31⟩مصطلحات موضوعية: 2012 ACM Subject Classification Computing methodologies → Planning and scheduling Applied computing → Industry and manufacturing Theory of computation → Optimization with randomized search heuristics Theory of computation → Constraint and logic programming phrases Large-scale scheduling problem, partial preemption, multi-skill, multi-mode, resource calendars, constraint programming, large neighborhood search, Applied computing → Industry and manufacturing, Theory of computation → Optimization with randomized search heuristics, Theory of computation → Constraint and logic programming phrases Large-scale scheduling problem, Large-scale scheduling problem, Computing methodologies → Planning and scheduling, Theory of computation → Constraint and logic programming, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO]
جغرافية الموضوع: Toronto
Time: Toronto, Canada
Relation: hal-04217223; https://laas.hal.science/hal-04217223; https://laas.hal.science/hal-04217223/document; https://laas.hal.science/hal-04217223/file/LIPIcs-CP-2023-31.pdf
-
2
المؤلفون: Semenov, Alexander, Chivilikhin, Daniil, Pavlenko, Artem, Otpuschennikov, Ilya, Ulyantsev, Vladimir, Ignatiev, Alexey
مصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, SAT solving, Computer Science::Logic in Computer Science, Theory of computation → Optimization with randomized search heuristics, Boolean formula hardness, Theory of computation → Automated reasoning, Mathematics of computing → Combinatorial optimization, Computer Science::Computational Complexity, Backdoors, Evolutionary algorithms, Hardware → Theorem proving and SAT solving
URL الوصول: https://explore.openaire.eu/
search /publication?articleId=doi_________::595b4d7a805ea324ab433c5746351f92