Pages that link to "Item:Q1020501"
From MaRDI portal
The following pages link to A solver for QBFs in negation normal form (Q1020501):
Displaying 10 items.
- A complexity perspective on entailment of parameterized linear constraints (Q487646) (← links)
- Encoding deductive argumentation in quantified Boolean formulae (Q1045994) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- Efficiently solving quantified bit-vector formulas (Q2441770) (← links)
- Non-prenex QBF Solving Using Abstraction (Q2818029) (← links)
- On Stronger Calculi for QBFs (Q2818031) (← links)
- (Q3384880) (← links)
- Beyond CNF: A Circuit-Based QBF Solver (Q3637177) (← links)
- CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)