conftrace_

quantifier localization

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

proof calculus (1) fork extension (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