QUBE
From MaRDI portal
Software:23327
swMATH11381MaRDI QIDQ23327FDOQ23327
Author name not available (Why is that?)
Cited In (25)
- Solving QBF with counterexample guided refinement
- A Compact Representation for Syntactic Dependencies in QBFs
- Beyond CNF: A Circuit-Based QBF Solver
- Abstraction-based algorithm for 2QBF
- 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
- Efficiently solving quantified bit-vector formulas
- Title not available (Why is that?)
- Ranking function synthesis for bit-vector relations
- Formal Methods in Computer-Aided Design
- On deciding subsumption problems
- 2QBF: challenges and solutions
- Boolean functions as models for quantified Boolean formulas
- Computational methods for database repair by signed formulae
- Using SAT in QBF
- Lower bound techniques for QBF proof systems
- Compressing BMC encodings with QBF
- On unification for bounded distributive lattices
- HordeQBF: a modular and massively parallel QBF solver
- Exploiting circuit representations in QBF solving
- Blocked clause elimination for QBF
- \(\mathsf{MPIDepQBF}\): towards parallel QBF solving without knowledge sharing
- Backjumping for quantified Boolean logic satisfiability
- Symbolic computational techniques for solving games
This page was built for software: QUBE
