Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration

Συγγραφείς: Schiex, Thomas

Συνεισφορές: Schiex, Thomas

Θεματικοί όροι: random Markov fields, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], constraint programming, Computing methodologies → Learning graphical models, deep learning, constraint programming, cost function networks, random Markov fields, decision-focused learning, protein design .CP.2023, decision-focused learning, 2012 ACM Subject Classification Computing methodologies → Artificial intelligence, deep learning, 2012 ACM Subject Classification Computing methodologies → Artificial intelligence Computing methodologies → Machine learning Theory of computation → Constraint and logic programming Computing methodologies → Learning graphical models, deep learning, constraint programming, cost function networks, random Markov fields, decision-focused learning, protein design .CP.2023, [INFO] Computer Science [cs], Computing methodologies → Artificial intelligence, [INFO.INFO-BT] Computer Science [cs]/Biotechnology, Computing methodologies → Machine learning, Computing methodologies → Learning in probabilistic graphical models, graphical models, cost function networks, Theory of computation → Constraint and logic programming, protein design, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.inrae.fr/hal-04556854v1
https://hal.inrae.fr/hal-04556854v1/document

Combining VSIDS and CHB Using Restarts in SAT

Συγγραφείς: Cherif, Mohamed, Sami, Habet, Djamal, Terrioux, Cyril

Συνεισφορές: COntraintes, ALgorithmes et Applications (COALA), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), ANR-16-CE40-0028,DE-MO-GRAPH,Décomposition de Modèles Graphiques(2016)

Πηγή: 27th International Conference on Principles and Practice of Constraint Programming
https://amu.hal.science/hal-03402696
27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier, France. ⟨10.4230/LIPIcs.CP.2021.20⟩
https://cp2021.a4cp.org/

Θεματικοί όροι: 2012 ACM Subject Classification Computing methodologies → Artificial intelligence phrases Satisfiability, Branching Heuristic, Restarts, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Θέμα γεωγραφικό: Montpellier, France

Διαθεσιμότητα: https://amu.hal.science/hal-03402696
https://amu.hal.science/hal-03402696v1/document
https://amu.hal.science/hal-03402696v1/file/LIPIcs-CP-2021-20.pdf
https://doi.org/10.4230/LIPIcs.CP.2021.20