I agree that this site is using cookies. You can find further informations here.
X
Shaik, Irfansha
13  results:
Search for persons X
?
1

Implicit QBF Encodings for Positional Games:

, In: Lecture Notes in Computer Science; Advances in Computer Games,
Shaik, Irfansha ; Mayer-Eichberger, Valentin ; van de Pol, Jaco. - p. 133-145 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Optimal Layout Synthesis for Quantum Circuits as Classical ..:

, In: 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD),
Shaik, Irfansha ; van de Pol, Jaco - p. 1-9 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Implicit State and Goals in QBF Encodings for Positional Ga..:

Shaik, Irfansha ; Mayer-Eichberger, Valentin ; van de Pol, Jaco.
http://arxiv.org/abs/2301.07345.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

Validation of QBF Encodings with Winning Strategies:

Shaik, Irfansha ; Heisinger, Maximilian ; Seidl, Martina.
https://pure.au.dk/portal/en/publications/3d628c53-c1ac-4f5e-88d9-4c952324902b.  , 2023
Link: https://pure.au.dk/porta..
 
?
5

Implicit State and Goals in QBF Encodings for Positional Ga..:

Shaik, Irfansha ; Mayer-Eichberger, Valentin ; van de Pol, Jaco.
https://pure.au.dk/portal/en/publications/1348d5e9-4140-4ede-bfbc-8ca754a9c129.  , 2023
Link: https://pure.au.dk/porta..
 
?
6

Concise QBF Encodings for Games on a Grid (extended version:

Shaik, Irfansha ; van de Pol, Jaco
https://pure.au.dk/portal/en/publications/4d104dd0-66bd-410b-99d6-561559f1785a.  , 2023
Link: https://pure.au.dk/porta..
 
?
7

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

Heisinger, Maximilian ; Shaik, Irfansha ; Seidl, Martina.
http://arxiv.org/abs/2304.08308.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

Optimal Layout Synthesis for Quantum Circuits as Classical ..:

Shaik, Irfansha ; van de Pol, Jaco
http://arxiv.org/abs/2304.12014.  , 2023
Link: http://arxiv.org/abs/230..
 
?
9

Concise QBF Encodings for Games on a Grid (extended version:

Shaik, Irfansha ; van de Pol, Jaco
http://arxiv.org/abs/2303.16949.  , 2023
Link: http://arxiv.org/abs/230..
 
?
10

Artifact for Paper Search-Space Pruning with Int-Splits for..:

Heisinger, Maximilian ; Shaik, Irfansha ; Seidl, Martina.
doi:10.5281/zenodo.7753525.  , 2023
Link: https://zenodo.org/recor..
 
?
11

Code, Benchmarks, Data from the ICAPS 2022 paper "Classical..:

Shaik, Irfansha ; van de Pol, Jaco
doi:10.5281/zenodo.6367523.  , 2022
Link: https://zenodo.org/recor..
 
?
12

Classical Planning as QBF without Grounding:

Shaik, Irfansha ; van de Pol, Jaco
https://pure.au.dk/portal/en/publications/1a07ecae-0899-4b3f-9456-429d1fe6a8e0.  , 2022
Link: https://pure.au.dk/porta..
 
?
13

Classical Planning as QBF without Grounding (extended versi..:

Shaik, Irfansha ; van de Pol, Jaco
http://arxiv.org/abs/2106.10138.  , 2021
Link: http://arxiv.org/abs/210..
 
1-13