@inproceedings{acar2019satisfiability,
  title={Satisfiability in Strategy Logic can be Easier than Model Checking},
  author={Acar, E and Benerecetti, Massimo and Mogavero, Fabio},
  booktitle={Proceedings of AAAI Conference on Artificial Intelligence 2019},
  year={2019}
}

{"_id":"YbZd35fnvDLA56PoN","bibbaseid":"acar-benerecetti-mogavero-satisfiabilityinstrategylogiccanbeeasierthanmodelchecking-2019","authorIDs":[],"author_short":["Acar, E","Benerecetti, M.","Mogavero, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Satisfiability in Strategy Logic can be Easier than Model Checking","author":[{"propositions":[],"lastnames":["Acar"],"firstnames":["E"],"suffixes":[]},{"propositions":[],"lastnames":["Benerecetti"],"firstnames":["Massimo"],"suffixes":[]},{"propositions":[],"lastnames":["Mogavero"],"firstnames":["Fabio"],"suffixes":[]}],"booktitle":"Proceedings of AAAI Conference on Artificial Intelligence 2019","year":"2019","bibtex":"@inproceedings{acar2019satisfiability,\n title={Satisfiability in Strategy Logic can be Easier than Model Checking},\n author={Acar, E and Benerecetti, Massimo and Mogavero, Fabio},\n booktitle={Proceedings of AAAI Conference on Artificial Intelligence 2019},\n year={2019}\n}\n\n\n","author_short":["Acar, E","Benerecetti, M.","Mogavero, F."],"key":"acar2019satisfiability","id":"acar2019satisfiability","bibbaseid":"acar-benerecetti-mogavero-satisfiabilityinstrategylogiccanbeeasierthanmodelchecking-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/KRRVU/website/master/publications/krr.bib","creationDate":"2019-08-14T15:46:48.628Z","downloads":0,"keywords":[],"search_terms":["satisfiability","strategy","logic","easier","model","checking","acar","benerecetti","mogavero"],"title":"Satisfiability in Strategy Logic can be Easier than Model Checking","year":2019,"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT"]}