Second International Workshop on Quantified Boolean Formulas

  • Robert Könighofer (Speaker)

Activity: Talk or presentation › Invited talk › Science to science

Description

Talk: Reactive Synthesis using (Incremental) QBF Solving
Period13 Jul 2014
Event titleSecond International Workshop on Quantified Boolean Formulas
Event typeWorkshop