UN SDG
Stimulus of Scientific Employment – Individual Support 2017
Assistant researcher
Alexey S. Ignatiev
Laboratório de Sistemas Informáticos de Grande Escala
SAMPLE: SAT-based AlgorithMs for exPlainable Machine LEarning
Computer and information sciences
SDG Goal 9: Industry, Innovation and Infraestructures
ClassificationExplainable predictionBoolean satisfiabilitypropositional encodingBoolean optimization
Clique para listar as tarefas