Validation of QBF Encodings with Winning Strategies

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

doi:10.4230/LIPIcs.SAT.2023.24

Validation of QBF Encodings with Winning Strategies

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

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy
Editors	Meena Mahajan, Friedrich Slivovsky
Publisher	Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik
Pages	24:1-24:10
Number of pages	10
Volume	271
ISBN (Electronic)	9783959772860
DOIs	https://doi.org/10.4230/LIPIcs.SAT.2023.24
Publication status	Published - Aug 2023

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	271
ISSN (Print)	1868-8969

Fields of science

101013 Mathematical logic
102 Computer Sciences
102001 Artificial intelligence
102011 Formal languages
102022 Software development
102030 Semantic technologies
102031 Theoretical computer science
603109 Logic

JKU Focus areas

Digital Transformation

Access to Document

10.4230/LIPIcs.SAT.2023.24

Cite this

Shaik, I., Heisinger, M., Seidl, M., & van de Pol, J. (2023). Validation of QBF Encodings with Winning Strategies. In M. Mahajan, & F. Slivovsky (Eds.), 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy (Vol. 271, pp. 24:1-24:10). Article 24 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 271). Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik. https://doi.org/10.4230/LIPIcs.SAT.2023.24

Shaik, Irfansha ; Heisinger, Maximilian ; Seidl, Martina et al. / Validation of QBF Encodings with Winning Strategies. 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy. editor / Meena Mahajan ; Friedrich Slivovsky. Vol. 271 Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik, 2023. pp. 24:1-24:10 (Leibniz International Proceedings in Informatics, LIPIcs).

@inproceedings{538074b32b8d4068bebba6a486297af4,

title = "Validation of QBF Encodings with Winning Strategies",

author = "Irfansha Shaik and Maximilian Heisinger and Martina Seidl and \{van de Pol\}, Jaco",

year = "2023",

month = aug,

doi = "10.4230/LIPIcs.SAT.2023.24",

language = "English",

volume = "271",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum f\textbackslash{}ur Informatik",

pages = "24:1--24:10",

editor = "Meena Mahajan and Friedrich Slivovsky",

booktitle = "26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy",

}

Shaik, I, Heisinger, M , Seidl, M & van de Pol, J 2023, Validation of QBF Encodings with Winning Strategies. in M Mahajan & F Slivovsky (eds), 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy. vol. 271, 24, Leibniz International Proceedings in Informatics, LIPIcs, vol. 271, Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik, pp. 24:1-24:10. https://doi.org/10.4230/LIPIcs.SAT.2023.24

Validation of QBF Encodings with Winning Strategies. / Shaik, Irfansha; Heisinger, Maximilian ; Seidl, Martina et al.
26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy. ed. / Meena Mahajan; Friedrich Slivovsky. Vol. 271 Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik, 2023. p. 24:1-24:10 24 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 271).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Validation of QBF Encodings with Winning Strategies

AU - Shaik, Irfansha

AU - Heisinger, Maximilian

AU - Seidl, Martina

AU - van de Pol, Jaco

PY - 2023/8

Y1 - 2023/8

UR - https://www.scopus.com/pages/publications/85170538249

U2 - 10.4230/LIPIcs.SAT.2023.24

DO - 10.4230/LIPIcs.SAT.2023.24

M3 - Conference proceedings

VL - 271

T3 - Leibniz International Proceedings in Informatics, LIPIcs

SP - 24:1-24:10

BT - 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy

A2 - Mahajan, Meena

A2 - Slivovsky, Friedrich

PB - Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik

ER -

Shaik I, Heisinger M , Seidl M, van de Pol J. Validation of QBF Encodings with Winning Strategies. In Mahajan M, Slivovsky F, editors, 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy. Vol. 271. Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik. 2023. p. 24:1-24:10. 24. (Leibniz International Proceedings in Informatics, LIPIcs). doi: 10.4230/LIPIcs.SAT.2023.24

Validation of QBF Encodings with Winning Strategies

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this