5 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic
We introduce a novel generalization of Counterexample-Guided Inductive Synthesis (CEGIS) and instantiate it to yield a novel, competitive algorithm for solving Quantified Boolean F…