Moving definition variables in quantified Boolean formulas
type: Item
instance of: scholarly article
title: Moving definition variables in quantified Boolean formulas
zbMATH Open document ID: 1547.68713
DOI: 10.1007/978-3-030-99524-9_26
author: Joseph E. Reeves
author: Marijn J. H. Heule
author: Randal E. Bryant
publication date: 2024-01-23T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7793111
MaRDI profile type: Publication
cites work: Blocked Clause Elimination for QBF
cites work: Dual proof generation for quantified Boolean formulas with a BDD-based solver
cites work: Theory and Applications of Satisfiability Testing
cites work: Mining definitions in Kissat with Kittens
cites work: Strong extension-free proof systems
cites work: A Unified Proof System for QBF Preprocessing
cites work: Solving QBF with counterexample guided refinement
cites work: Resolution for quantified Boolean formulas
cites work: A Non-prenex, Non-clausal QBF Solver with Game-State Learning
cites work: A structure-preserving clause form translation
cites work: DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
description: scientific article; zbMATH DE number 7793111