%0 Conference Paper %1 conf/aaai/CaridroitLBLM17 %A Caridroit, Thomas %A Lagniez, Jean-Marie %A Berre, Daniel Le %A de Lima, Tiago %A Montmirail, Valentin %B AAAI %D 2017 %E Singh, Satinder %E Markovitch, Shaul %I AAAI Press %K dblp %P 3864-3870 %T A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2017.html#CaridroitLBLM17

@inproceedings{conf/aaai/CaridroitLBLM17, added-at = {2023-09-04T00:00:00.000+0200}, author = {Caridroit, Thomas and Lagniez, Jean-Marie and Berre, Daniel Le and de Lima, Tiago and Montmirail, Valentin}, biburl = {https://www.bibsonomy.org/bibtex/2a06948bf9cef0197d9c4b0ec14a5fce7/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2017}, editor = {Singh, Satinder and Markovitch, Shaul}, ee = {https://doi.org/10.1609/aaai.v31i1.11128}, interhash = {a94a25a810f421a04c43dd3b49761b63}, intrahash = {a06948bf9cef0197d9c4b0ec14a5fce7}, keywords = {dblp}, pages = {3864-3870}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:03:54.000+0200}, title = {A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2017.html#CaridroitLBLM17}, year = 2017 }