Irfansha Shaik

According to our database, Irfansha Shaik authored at least 12 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

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation.

Irfansha Shaik, Jaco van de Pol

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

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

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

Dataset, March, 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

Code, Benchmarks, Data from the ICAPS 2022 paper "Classical Planning as QBF without Grounding".

Irfansha Shaik, Jaco van de Pol

Dataset, March, 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