47 citations · 188 across the 18 of their papers we have counts for
Showing 2014 · cs.LOShow all
3 papers · 2 filters
cs.LO2014
SAT-Based Methods for Circuit Synthesis
Roderick Bloem, Uwe Egly, Patrick Klampfl +2
Reactive synthesis supports designers by automatically constructing correct hardware from declarative specifications. Synthesis algorithms usually compute a strategy, and then cons…
cs.LO2014★ 15 cited
Conformant Planning as a Case Study of Incremental QBF Solving
Uwe Egly, Martin Kronegger, Florian Lonsing +1
We consider planning with uncertainty in the initial state as a case study of incremental quantified Boolean formula (QBF) solving. We report on experiments with a workflow to incr…
cs.LO2014★ 21 cited
Incremental QBF Solving
Florian Lonsing, Uwe Egly
We consider the problem of incrementally solving a sequence of quantified Boolean formulae (QBF). Incremental solving aims at using information learned from one formula in the proc…