research
∙
04/24/2023
Optimal Layout Synthesis for Quantum Circuits as Classical Planning
In Layout Synthesis, the logical qubits of a quantum circuit are mapped ...
share
research
∙
04/17/2023
Search-Space Pruning with Int-Splits for Faster QBF Solving
In many QBF encodings, sequences of Boolean variables stand for binary r...
research
∙
03/29/2023
Concise QBF Encodings for Games on a Grid (extended version)
Encoding 2-player games in QBF correctly and efficiently is challenging ...
research
∙
01/18/2023
Implicit State and Goals in QBF Encodings for Positional Games (extended version)
We address two bottlenecks for concise QBF encodings of maker-breaker po...
research
∙
06/18/2021
