%0 Conference Paper %1 conf/acg/ShaikMPS23 %A Shaik, Irfansha %A Mayer-Eichberger, Valentin %A van de Pol, Jaco %A Saffidine, Abdallah %B ACG %D 2023 %E Hartisch, Michael %E Hsueh, Chu-Hsuan %E Schaeffer, Jonathan %I Springer %K dblp %P 133-145 %T Implicit QBF Encodings for Positional Games. %U http://dblp.uni-trier.de/db/conf/acg/acg2023.html#ShaikMPS23 %V 14528 %@ 978-3-031-54968-7

@inproceedings{conf/acg/ShaikMPS23, added-at = {2024-03-16T00:00:00.000+0100}, author = {Shaik, Irfansha and Mayer-Eichberger, Valentin and van de Pol, Jaco and Saffidine, Abdallah}, biburl = {https://www.bibsonomy.org/bibtex/2ad9659ca30f8cac05b5990683bd46de6/dblp}, booktitle = {ACG}, crossref = {conf/acg/2023}, editor = {Hartisch, Michael and Hsueh, Chu-Hsuan and Schaeffer, Jonathan}, ee = {https://doi.org/10.1007/978-3-031-54968-7_12}, interhash = {d61bbbc9ffce597f8f0474dce003f5f1}, intrahash = {ad9659ca30f8cac05b5990683bd46de6}, isbn = {978-3-031-54968-7}, keywords = {dblp}, pages = {133-145}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:42:26.000+0200}, title = {Implicit QBF Encodings for Positional Games.}, url = {http://dblp.uni-trier.de/db/conf/acg/acg2023.html#ShaikMPS23}, volume = 14528, year = 2023 }