RTI2018-095609-B-I00
Financiado
Presupuesto del proyecto
22K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Data Analytics Artificial Intelligence Machine Learning Cybersecurity
Data Analytics Artificial Intelligence Machine Learning Cybersecurity
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#scheduling
#optimization
#combinatorial problems
#Boolean satisfiability
#SAT
#Satisfiability Modulo Theories
#software quality
#efficient encoding
Lider