QUBE
From MaRDI portal
Software:23327
swMATH11381MaRDI QIDQ23327FDOQ23327
Author name not available (Why is that?)
Cited In (25)
- Solving QBF with counterexample guided refinement
- Lower Bound Techniques for QBF Proof Systems
- HordeQBF: A Modular and Massively Parallel QBF Solver
- A Compact Representation for Syntactic Dependencies in QBFs
- MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing
- Beyond CNF: A Circuit-Based QBF Solver
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
- Message passing algorithm for solving QBF using more reasoning
- Expansion-based QBF solving versus Q-resolution
- Exploiting Circuit Representations in QBF Solving
- Efficiently solving quantified bit-vector formulas
- Blocked Clause Elimination for QBF
- Title not available (Why is that?)
- Ranking function synthesis for bit-vector relations
- Formal Methods in Computer-Aided Design
- On deciding subsumption problems
- Abstraction-Based Algorithm for 2QBF
- Boolean functions as models for quantified Boolean formulas
- Computational methods for database repair by signed formulae
- Using SAT in QBF
- Compressing BMC encodings with QBF
- On unification for bounded distributive lattices
- 2QBF: Challenges and Solutions
- Backjumping for quantified Boolean logic satisfiability
- Symbolic computational techniques for solving games
This page was built for software: QUBE
