Nenofex
From MaRDI portal
Software:21560
No author found.
Related Items (17)
Conformant planning as a case study of incremental QBF solving ⋮ Dependency learning for QBF ⋮ Failed Literal Detection for QBF ⋮ Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers ⋮ sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning ⋮ A Non-prenex, Non-clausal QBF Solver with Game-State Learning ⋮ The Seventh QBF Solvers Evaluation (QBFEVAL’10) ⋮ Exploiting Circuit Representations in QBF Solving ⋮ A Unified Framework for Certificate and Compilation for QBF ⋮ Blocked Clause Elimination for QBF ⋮ Incremental Determinization ⋮ Non-prenex QBF Solving Using Abstraction ⋮ Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits ⋮ Solving QBF with Counterexample Guided Refinement ⋮ Expansion-based QBF solving versus Q-resolution ⋮ On QBF Proofs and Preprocessing ⋮ Solving QBF with counterexample guided refinement
This page was built for software: Nenofex
