Experiments with Reduction Finding
From MaRDI portal
Publication:5326462
DOI10.1007/978-3-642-39071-5_15zbMath1390.68349OpenAlexW1608616693MaRDI QIDQ5326462
Publication date: 5 August 2013
Published in: Theory and Applications of Satisfiability Testing – SAT 2013 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39071-5_15
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
The QBF Gallery: behind the scenes ⋮ Unnamed Item ⋮ Computing smallest MUSes of quantified Boolean formulas ⋮ Unnamed Item ⋮ Lower bound techniques for QBF expansion ⋮ Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games ⋮ Incremental Determinization ⋮ On distinguishing sets of structures by first-order sentences of minimal quantifier rank ⋮ Solving QBF with counterexample guided refinement
This page was built for publication: Experiments with Reduction Finding
