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