Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta

Aktiviteter

Aktiviteter per år 2015 2015 2016 2017 2018 2019 2019

• 33 Referentgranskning av manuskript
• 12 Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
• 4 Public Talks
• 4 Handledare eller bihandledare av doktorsavhandling
• 7 Mer
  • 4 Akademiskt besök på HU
  • 1 Handledning av annat kunskapsprov (pro gradu, licentiatavhandling)
  • 1 !!Invited talk
  • 1 Akademisk besök på annan institution

Aktiviteter per år

Sökresultat

• SAT for Argumentation

  Järvisalo, M. (!!Keynote speaker)

  2018

  Aktivitet: Typer för tal eller presentation › !!Invited talk