DetailResearcher

Financing Type

Stimulus of Scientific Employment – Individual Support 2017

Contract Type

Assistant researcher

Researcher Name

Alexey S. Ignatiev

Host Institution

Laboratório de Sistemas Informáticos de Grande Escala

Project Title

SAMPLE: SAT-based AlgorithMs for exPlainable Machine LEarning

Scientific Areas

Computer and information sciences

Sustainable Development Goals

SDG Goal 9: Industry, Innovation and Infraestructures

Keywords

ClassificationExplainable predictionBoolean satisfiabilitypropositional encodingBoolean optimization