47 citations · 188 across the 18 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 2 cited
Expansion-Based QBF Solving Without Recursion
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic +3
In recent years, expansion-based techniques have been shown to be very powerful in theory and practice for solving quantified Boolean formulas (QBF), the extension of propositional…
cs.LO2018★ 8 cited
QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property
Florian Lonsing, Uwe Egly
The QRAT (quantified resolution asymmetric tautology) proof system simulates virtually all inference rules applied in state of the art quantified Boolean formula (QBF) reasoning to…