{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-1868/p9.html","spt.description":null,"spt.id":"Vol-1868/p9","spt.wikidataid":null,"spt.title":" Backdoor Trees for Answer Set Programming","spt.pdfUrl":"https://ceur-ws.org/Vol-1868/p9.pdf","spt.volume":{"number":1868,"acronym":"ASPOCP 2017","wikidataid":"Q113544013","title":"Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms","description":"Proceedings of ASPOCP 2017 workshop","url":"http://ceur-ws.org/Vol-1868/","date":"2017-06-27","dblp":"conf/lpnmr/2017aspocp","k10plus":"894895974","urn":"urn:nbn:de:0074-1868-5"},"spt.session":null,"cvb.id":"Vol-1868/p9","cvb.title":" Backdoor Trees for Answer Set Programming","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"Johannes K. Fichte,Stefan Szeider","cvb.vol_number":"1868","cvb.pdf_name":"p9.pdf","cvb.pages":null,"cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/lpnmr/FichteS17","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/lpnmr/2017aspocp","dblp.volume_number":1868,"dblp.title":"Backdoor Trees for Answer Set Programming.","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/46/7137","label":"Johannes Klaus Fichte","wikidata_id":"Q130807648","orcid_id":"0000-0002-8681-7470","gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/s/StefanSzeider","label":"Stefan Szeider","wikidata_id":"Q28313165","orcid_id":"0000-0001-8994-1656","gnd_id":"48745872"}],"dblp.pdf_id":"Vol-1868/p9"}