34 citations · 124 across the 13 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 23 cited
The QBF Gallery: Behind the Scenes
Florian Lonsing, Martina Seidl, Allen Van Gelder
Over the last few years, much progress has been made in the theory and practice of solving quantified Boolean formulas (QBF). Novel solvers have been presented that either successf…
cs.LO2015★ 34 cited
The First Reactive Synthesis Competition (SYNTCOMP 2014)
Swen Jacobs, Roderick Bloem, Romain Brenguier +10
We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for re…