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
Silk UI Framework Simulation Device
Resize the window to preview the page in target devices.
Open the settings to change the simulation device options.
Clique para listar as tarefas