Backdoors into Heterogeneous Classes of SAT and CSP. Gaspers, S., Misra, N., Ordyniak, S., Szeider, S., & Zivny, S. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada., pages 2652--2658, 2014. Paper bibtex @inproceedings{DBLP:conf/aaai/GaspersMOSZ14,
author = {Serge Gaspers and
Neeldhara Misra and
Sebastian Ordyniak and
Stefan Szeider and
Stanislav Zivny},
title = {Backdoors into Heterogeneous Classes of {SAT} and {CSP}},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
pages = {2652--2658},
year = {2014},
crossref = {DBLP:conf/aaai/2014},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8177},
timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
biburl = {http://dblp.dagstuhl.de/rec/bib/conf/aaai/GaspersMOSZ14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
Downloads: 0
{"_id":{"_str":"540c01e0480d3bb058001216"},"__v":0,"authorIDs":[],"author_short":["Gaspers, S.","Misra, N.","Ordyniak, S.","Szeider, S.","Zivny, S."],"bibbaseid":"gaspers-misra-ordyniak-szeider-zivny-backdoorsintoheterogeneousclassesofsatandcsp-2014","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Serge"],"propositions":[],"lastnames":["Gaspers"],"suffixes":[]},{"firstnames":["Neeldhara"],"propositions":[],"lastnames":["Misra"],"suffixes":[]},{"firstnames":["Sebastian"],"propositions":[],"lastnames":["Ordyniak"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Szeider"],"suffixes":[]},{"firstnames":["Stanislav"],"propositions":[],"lastnames":["Zivny"],"suffixes":[]}],"title":"Backdoors into Heterogeneous Classes of SAT and CSP","booktitle":"Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada.","pages":"2652--2658","year":"2014","crossref":"DBLP:conf/aaai/2014","url":"http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8177","timestamp":"Thu, 31 Jul 2014 08:59:54 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/aaai/GaspersMOSZ14","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/GaspersMOSZ14,\n author = {Serge Gaspers and\n Neeldhara Misra and\n Sebastian Ordyniak and\n Stefan Szeider and\n Stanislav Zivny},\n title = {Backdoors into Heterogeneous Classes of {SAT} and {CSP}},\n booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,\n July 27 -31, 2014, Qu{\\'{e}}bec City, Qu{\\'{e}}bec, Canada.},\n pages = {2652--2658},\n year = {2014},\n crossref = {DBLP:conf/aaai/2014},\n url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8177},\n timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/aaai/GaspersMOSZ14},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Gaspers, S.","Misra, N.","Ordyniak, S.","Szeider, S.","Zivny, S."],"key":"DBLP:conf/aaai/GaspersMOSZ14","id":"DBLP:conf/aaai/GaspersMOSZ14","bibbaseid":"gaspers-misra-ordyniak-szeider-zivny-backdoorsintoheterogeneousclassesofsatandcsp-2014","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8177"},"downloads":0},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/g/Gaspers:Serge","creationDate":"2014-09-07T06:57:36.651Z","downloads":0,"keywords":[],"search_terms":["backdoors","heterogeneous","classes","sat","csp","gaspers","misra","ordyniak","szeider","zivny"],"title":"Backdoors into Heterogeneous Classes of SAT and CSP","year":2014,"dataSources":["7TArQCcqBvtscygA6"]}