research
∙
04/27/2023
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF
The QSAT problem, which asks to evaluate a quantified Boolean formula (Q...
share
research
∙
10/13/2022
Towards Uniform Certification in QBF
We pioneer a new technique that allows us to prove a multitude of previo...
research
∙
08/12/2021
Engineering an Efficient Boolean Functional Synthesis Engine
Given a Boolean specification between a set of inputs and outputs, the p...
research
∙
06/04/2021
Certified DQBF Solving by Definition Extraction
We propose a new decision procedure for dependency quantified Boolean fo...
research
∙
04/06/2021