Pages that link to "Item:Q5325863"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5325863):
Displaying 6 items.
- A solver for QBFs in negation normal form (Q1020501) (← links)
- Encoding deductive argumentation in quantified Boolean formulae (Q1045994) (← links)
- Extended Failed-Literal Preprocessing for Quantified Boolean Formulas (Q2843325) (← links)
- Transformations into Normal Forms for Quantified Circuits (Q3007687) (← links)
- A Compact Representation for Syntactic Dependencies in QBFs (Q3637175) (← links)
- Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers (Q5170277) (← links)