QUBE
From MaRDI portal
Cited in
(48)- QuBE++
- Hilberticus
- STRIP
- On deciding subsumption problems
- MUSCADET
- sQueezeBF
- Quaffle
- Bloqqer
- Nenofex
- QUBOS
- QBFLIB
- DepQBF
- Ranking function synthesis for bit-vector relations
- CirQit2
- QuteSAT
- Expansion-based QBF solving versus Q-resolution
- QMiraXT
- Efficiently solving quantified bit-vector formulas
- MOCHA
- Computational methods for database repair by signed formulae
- Solving QBF with counterexample guided refinement
- Boolean functions as models for quantified Boolean formulas
- 2QBF: challenges and solutions
- HordeQBF: a modular and massively parallel QBF solver
- Symbolic computational techniques for solving games
- Compressing BMC encodings with QBF
- Abstraction-based algorithm for 2QBF
- HordeQBF
- MPIDepQBF
- \(\mathsf{MPIDepQBF}\): towards parallel QBF solving without knowledge sharing
- Lower bound techniques for QBF proof systems
- MODPROF
- Using SAT in QBF
- A Compact Representation for Syntactic Dependencies in QBFs
- Beyond CNF: A Circuit-Based QBF Solver
- Quantor
- semprop
- scientific article; zbMATH DE number 1950260 (Why is no real title available?)
- Message passing algorithm for solving QBF using more reasoning
- Exploiting circuit representations in QBF solving
- Blocked clause elimination for QBF
- On unification for bounded distributive lattices
- Mjollnir
- Formal Methods in Computer-Aided Design
- sKizzo
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
- RAReQS
- Backjumping for quantified Boolean logic satisfiability
This page was built for software: QUBE
