%0 Conference Paper %1 conf/aaai/AcarBM19 %A Acar, Erman %A Benerecetti, Massimo %A Mogavero, Fabio %B AAAI %D 2019 %I AAAI Press %K dblp %P 2638-2645 %T Satisfiability in Strategy Logic Can Be Easier than Model Checking. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2019.html#AcarBM19 %@ 978-1-57735-809-1

@inproceedings{conf/aaai/AcarBM19, added-at = {2023-09-30T00:00:00.000+0200}, author = {Acar, Erman and Benerecetti, Massimo and Mogavero, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/2f5a1c09084dc8151bf433057458df23f/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2019}, ee = {https://doi.org/10.1609/aaai.v33i01.33012638}, interhash = {d1bbfcd4cd9a11176026f175962bc188}, intrahash = {f5a1c09084dc8151bf433057458df23f}, isbn = {978-1-57735-809-1}, keywords = {dblp}, pages = {2638-2645}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:02:18.000+0200}, title = {Satisfiability in Strategy Logic Can Be Easier than Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2019.html#AcarBM19}, year = 2019 }