Department of Computer Science

Aarhus University Seal
You are here: » Irfansha Shaik » Research outputs

Contact

Irfansha Shaik

1 - 2 out of 2Page size: 100
RSS feed of this list
  1. 2022
  2. Published
    Classical Planning as QBF without Grounding. / Shaik, Irfansha; van de Pol, Jaco.
    Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. ed. / Akshat Kumar; Sylvie Thiebaux; Pradeep Varakantham; William Yeoh. AAAI Press, 2022. p. 329-337 (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 32).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  3. 2021
  4. Published
    Classical Planning as QBF without Grounding (extended version). / Shaik, Irfansha; Pol, Jaco van de.
    2021. p. 1-17.

    Research output: Working paper/Preprint › Preprint