Opinnäytetöiden ohjaus, Pro gradu -tutkielma: Dense Implicant Cubes in Boolean Satisfiability Problems

Activity: Evaluation, examination and supervision › Supervisor of master student

Description

Vastaava ohjaaja
Period2019 → 2020
Examination held at
  • Aalto-yliopisto
Degree of RecognitionNational