Picture for Jaco van de Pol

Jaco van de Pol

Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation

Add code
Aug 08, 2024
Viaarxiv icon

Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits

Add code
Mar 18, 2024
Viaarxiv icon

Optimal Layout Synthesis for Quantum Circuits as Classical Planning

Add code
Apr 24, 2023
Viaarxiv icon

Concise QBF Encodings for Games on a Grid

Add code
Mar 29, 2023
Viaarxiv icon

Implicit State and Goals in QBF Encodings for Positional Games

Add code
Jan 18, 2023
Viaarxiv icon

Classical Planning as QBF without Grounding (extended version)

Add code
Jun 18, 2021
Figure 1 for Classical Planning as QBF without Grounding (extended version)
Figure 2 for Classical Planning as QBF without Grounding (extended version)
Figure 3 for Classical Planning as QBF without Grounding (extended version)
Figure 4 for Classical Planning as QBF without Grounding (extended version)
Viaarxiv icon