Irfansha Shaik

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 11

Top Topics

Classical Planning

Conformant Planning

Quantified Boolean Formulas

Top Venues

Publications

Irfansha Shaik, Jaco van de Pol
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. CoRR (2024)
Irfansha Shaik, Jaco van de Pol
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. SAT (2024)
Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol
Search-Space Pruning with Int-Splits for Faster QBF Solving. CoRR (2023)
Irfansha Shaik, Jaco van de Pol
Concise QBF Encodings for Games on a Grid (extended version). CoRR (2023)
Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine
Implicit QBF Encodings for Positional Games. ACG (2023)
Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine
Implicit State and Goals in QBF Encodings for Positional Games (extended version). CoRR (2023)
Irfansha Shaik, Jaco van de Pol
Optimal Layout Synthesis for Quantum Circuits as Classical Planning. CoRR (2023)
Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol
Validation of QBF Encodings with Winning Strategies. SAT (2023)
Irfansha Shaik, Jaco van de Pol
Optimal Layout Synthesis for Quantum Circuits as Classical Planning. ICCAD (2023)
Irfansha Shaik, Jaco van de Pol
Classical Planning as QBF without Grounding. ICAPS (2022)
Irfansha Shaik, Jaco van de Pol
Classical Planning as QBF without Grounding (extended version). CoRR (2021)