Classical Planning as QBF without Grounding (extended version). - Irfansha Shaik; Jaco van de Pol (CoRR, 2021)

Classical Planning as QBF without Grounding. - Irfansha Shaik; Jaco van de Pol (ICAPS, 2022)

Code, Benchmarks, Data from the ICAPS 2022 paper "Classical Planning as QBF without Grounding". - Irfansha Shaik; Jaco van de Pol (Zenodo, 2022)

Implicit QBF Encodings for Positional Games. - Irfansha Shaik; Valentin Mayer-Eichberger; Jaco van de Pol; Abdallah Saffidine (ACG, 2023)

Optimal Layout Synthesis for Quantum Circuits as Classical Planning. - Irfansha Shaik; Jaco van de Pol (ICCAD, 2023)

Validation of QBF Encodings with Winning Strategies. - Irfansha Shaik; Maximilian Heisinger; Martina Seidl; Jaco van de Pol (SAT, 2023)

Implicit State and Goals in QBF Encodings for Positional Games (extended version). - Irfansha Shaik; Valentin Mayer-Eichberger; Jaco van de Pol; Abdallah Saffidine (CoRR, 2023)

Concise QBF Encodings for Games on a Grid (extended version). - Irfansha Shaik; Jaco van de Pol (CoRR, 2023)

Search-Space Pruning with Int-Splits for Faster QBF Solving. - Maximilian Heisinger; Irfansha Shaik; Martina Seidl; Jaco van de Pol (CoRR, 2023)

Artifact for Paper Search-Space Pruning with Int-Splits for Faster QBF Solving. - Maximilian Heisinger; Irfansha Shaik; Martina Seidl; Jaco van de Pol (Zenodo, 2023)

Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation. - Irfansha Shaik; Jaco van de Pol (ECAI, 2024)

Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. - Irfansha Shaik; Jaco van de Pol (SAT, 2024)

Q-Synth. - Irfansha Shaik; Jaco van de Pol (DROPS Artifacts, 2024)

Q-Synth v2.0 release. - Irfansha Shaik; Jaco van de Pol (DROPS Artifacts, 2024)

Depth-Optimal Quantum Layout Synthesis as SAT. - Anna Blume Jakobsen; Anders B. Clausen; Jaco van de Pol; Irfansha Shaik (SAT, 2025)

CNOT-Optimal Clifford Synthesis as SAT. - Irfansha Shaik; Jaco van de Pol (SAT, 2025)

Explanations for Unrealizability of Infinite-State Safety Shields. - Andoni Rodríguez; Irfansha Shaik; Davide Corsi; Roy Fox; César Sánchez 001 (CoRR, 2025)