From the research index
The paper comes from the research index. It wasn’t submitted here.
Journal article
Solving dependency quantified Boolean formulas using quantifier localization
Aile Ge-Ernst, Christoph Scholl, Juraj Síč and 1 other
Theoretical Computer Science28 Mar 2022Open access
Journal articleOpen accessFrom the research index
Solving dependency quantified Boolean formulas using quantifier localization
Aile Ge-Ernst, Christoph Scholl, Juraj Síč and 1 other · Theoretical Computer Science · 28 Mar 2022
Abstract
No PDF hereRead at the publisher
The full text is at the publisher
You can read the abstract here, or open it at the publisher.
There is no abstract for this record.
Identifiers
- NobleID
- NI2P51W08R94S30
Discussion
Citations
1Cited by
60References
Topics
Details
- Authors
- Aile Ge-Ernst, Christoph Scholl, Juraj Síč, Ralf Wimmer
- Published
- 28 Mar 2022
- Publisher
- Elsevier BV
- Issue
- Volume 925 · Pages 1–24
- ISSN
- 0304-3975
- Language
- EN