conftrace_

fork extension

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

proof calculus (1) quantifier localization (1) dependency quantified boolean formula (1) pspace completeness (1) automated reasoning (1)

Papers

A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving AAAI 2019