PID2021-122274OB-I00
Financiado
Presupuesto del proyecto
68K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Artificial Intelligence
Data Science
Machine Learning Optimization Computer Science Software Engineering
Machine Learning Optimization Computer Science Software Engineering
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#SAT solvers
#SMT solvers
#AI planning
#conflict-based learning
#deduction mechanisms
#constraint programming
#heuristic algorithms
#variable selection
Lider