PID2019-109152GB-I00
Financiado
Presupuesto del proyecto
40K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Data Science
Artificial Intelligence Machine Learning Data Analytics
Artificial Intelligence Machine Learning Data Analytics
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#knowledge-based systems
#variable forgetting
#algebraic retraction
#logical consequence
#algorithmic aspects
#SAT
#QBF
#formal analysis
Lider