conftrace_

proof calculus

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

fork extension (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