Irfansha Shaik

According to our database, Irfansha Shaik authored at least 9 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Irfansha Shaik, Jaco van de Pol

CoRR, 2024

2023

Search-Space Pruning with Int-Splits for Faster QBF Solving.

Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol

CoRR, 2023

Concise QBF Encodings for Games on a Grid (extended version).

Irfansha Shaik, Jaco van de Pol

CoRR, 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

Validation of QBF Encodings with Winning Strategies.

Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

Optimal Layout Synthesis for Quantum Circuits as Classical Planning.

Irfansha Shaik, Jaco van de Pol

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Implicit QBF Encodings for Positional Games.

Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine

Proceedings of the Advances in Computer Games - 18th International Conference, 2023

2022

Classical Planning as QBF without Grounding.

Irfansha Shaik, Jaco van de Pol

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Classical Planning as QBF without Grounding (extended version).

Irfansha Shaik, Jaco van de Pol

CoRR, 2021