conftrace_

dependency quantified boolean formula

4 papers

Explore in graph

Also known as

DQBF

Co-occurring keywords · papers mentioning both

stochastic boolean satisfiability (2) fork extension (1) quantifier localization (1) dependency elimination (1) bitvector theory (1) proof calculus (1) probabilistic system (1) dependency quantified formula (1) dqbf solving (1) modular theory (1)

Papers

Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT AAAI 2023 Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty AAAI 2021 Program Synthesis as Dependency Quantified Formula Modulo Theory IJCAI 2021 A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving AAAI 2019