Strong (D)QBF Dependency Schemes via Tautology-Free Resolution Paths
Book chapter (June 2020)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Book chapter (June 2020)
Conference proceeding (October 2019)
Article in Theory of Computing Systems (August 2019)