Irfansha Shaik

19 papers A* 2A 6Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A conf
CNOT-Optimal Clifford Synthesis as SAT.
SAT
Irfansha Shaik, Jaco van de Pol
2025 J jnl
CNOT-Optimal Clifford Synthesis as SAT.
CoRR
Irfansha Shaik, Jaco van de Pol
2025 A conf
Depth-Optimal Quantum Layout Synthesis as SAT.
SAT
Anna Blume Jakobsen, Anders B. Clausen, Jaco van de Pol, Irfansha Shaik
2025 J jnl
Depth-Optimal Quantum Layout Synthesis as SAT.
CoRR
Anna Blume Jakobsen, Anders B. Clausen, Jaco van de Pol, Irfansha Shaik
2025 A* conf
Explanations for Unrealizability of Infinite-State Safety Shields.
KR
Andoni Rodríguez, Irfansha Shaik, Davide Corsi, Roy Fox, César Sánchez
2025 J jnl
Explanations for Unrealizability of Infinite-State Safety Shields.
CoRR
Andoni Rodríguez, Irfansha Shaik, Davide Corsi, Roy Fox, César Sánchez
2024 A conf
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits.
SAT
Irfansha Shaik, Jaco van de Pol
2024 J jnl
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits.
CoRR
Irfansha Shaik, Jaco van de Pol
2024 A conf
Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation.
ECAI
Irfansha Shaik, Jaco van de Pol
2024 J jnl
Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation.
CoRR
Irfansha Shaik, Jaco van de Pol
2023 J jnl
Concise QBF Encodings for Games on a Grid (extended version).
CoRR
Irfansha Shaik, Jaco van de Pol
2023 — conf
Implicit QBF Encodings for Positional Games.
ACG
Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine
2023 J jnl
Implicit State and Goals in QBF Encodings for Positional Games (extended version).
CoRR
Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine
2023 A conf
Optimal Layout Synthesis for Quantum Circuits as Classical Planning.
ICCAD
Irfansha Shaik, Jaco van de Pol
2023 J jnl
Optimal Layout Synthesis for Quantum Circuits as Classical Planning.
CoRR
Irfansha Shaik, Jaco van de Pol
2023 J jnl
Search-Space Pruning with Int-Splits for Faster QBF Solving.
CoRR
Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol
2023 A conf
Validation of QBF Encodings with Winning Strategies.
SAT
Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol
2022 A* conf
Classical Planning as QBF without Grounding.
ICAPS
Irfansha Shaik, Jaco van de Pol
2021 J jnl
Classical Planning as QBF without Grounding (extended version).
CoRR
Irfansha Shaik, Jaco van de Pol