%0 Conference Paper %1 conf/lfcs/0002M020 %A Mahmood, Yasir %A Meier, Arne %A Schmidt, Johannes %B LFCS %D 2020 %E Artëmov, Sergei N. %E Nerode, Anil %I Springer %K dblp %P 195-213 %T Parameterised Complexity of Abduction in Schaefer's Framework. %U http://dblp.uni-trier.de/db/conf/lfcs/lfcs2020.html#0002M020 %V 11972 %@ 978-3-030-36755-8

@inproceedings{conf/lfcs/0002M020, added-at = {2019-12-19T00:00:00.000+0100}, author = {Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, biburl = {https://www.bibsonomy.org/bibtex/24d16b09008275ccadf768b16e9080bcb/dblp}, booktitle = {LFCS}, crossref = {conf/lfcs/2020}, editor = {Artëmov, Sergei N. and Nerode, Anil}, ee = {https://doi.org/10.1007/978-3-030-36755-8_13}, interhash = {4e8cad55c1624de62c2f2a94233365c2}, intrahash = {4d16b09008275ccadf768b16e9080bcb}, isbn = {978-3-030-36755-8}, keywords = {dblp}, pages = {195-213}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-12-20T11:48:53.000+0100}, title = {Parameterised Complexity of Abduction in Schaefer's Framework.}, url = {http://dblp.uni-trier.de/db/conf/lfcs/lfcs2020.html#0002M020}, volume = 11972, year = 2020 }