The following pages link to RAReQS (Q5973448):
Displayed 38 items.
- Quantified maximum satisfiability (Q272016) (← links)
- The QBF Gallery: behind the scenes (Q286397) (← links)
- Complexity-sensitive decision procedures for abstract argumentation (Q490451) (← links)
- Proof complexity of modal resolution (Q832717) (← links)
- Synchronous counting and computational algorithm design (Q896024) (← links)
- Level-ordered \(Q\)-resolution and tree-like \(Q\)-resolution are incomparable (Q903199) (← links)
- Solving quantified linear arithmetic by counterexample-guided instantiation (Q1688537) (← links)
- Lower bound techniques for QBF expansion (Q1987510) (← links)
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations (Q2058378) (← links)
- QBFFam: a tool for generating QBF families from proof complexity (Q2118282) (← links)
- Hardness and optimality in QBF proof systems modulo NP (Q2118289) (← links)
- Proof complexity of symbolic QBF reasoning (Q2118330) (← links)
- Certified DQBF solving by definition extraction (Q2118343) (← links)
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving (Q2124467) (← links)
- Solving dependency quantified Boolean formulas using quantifier localization (Q2148900) (← links)
- Combining resolution-path dependencies with dependency learning (Q2181941) (← links)
- Refutation-based synthesis in SMT (Q2280222) (← links)
- New models for generating hard random Boolean formulas and disjunctive logic programs (Q2287195) (← links)
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) (Q2321317) (← links)
- Reinterpreting dependency schemes: soundness meets incompleteness in DQBF (Q2323446) (← links)
- Expansion-based QBF solving versus Q-resolution (Q2339467) (← links)
- An approximation framework for solvers and decision procedures (Q2362497) (← links)
- Conformant planning as a case study of incremental QBF solving (Q2398267) (← links)
- Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models (Q2423750) (← links)
- Incremental Determinization (Q2818028) (← links)
- Non-prenex QBF Solving Using Abstraction (Q2818029) (← links)
- Q-Resolution with Generalized Axioms (Q2818032) (← links)
- 2QBF: Challenges and Solutions (Q2818033) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- Solving QBF with Counterexample Guided Refinement (Q2843327) (← links)
- Propositional SAT Solving (Q3176367) (← links)
- Encodings of Bounded Synthesis (Q3303904) (← links)
- (Q3304096) (← links)
- (Q3304106) (← links)
- QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving (Q3453239) (← links)
- (Q4553279) (← links)
- (Q5136303) (← links)