Second International Workshop on Quantified Boolean Formulas

Robert Könighofer (Speaker)

Activity: Talk or presentationInvited talkScience to science

Description

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