Backdoors into heterogeneous classes of SAT and CSP. Gaspers, S., Misra, N., Ordyniak, S., Szeider, S., & Zivný, S. J. Comput. Syst. Sci., 85:38–56, 2017. Paper doi bibtex @article{DBLP:journals/jcss/GaspersMOSZ17,
author = {Serge Gaspers and
Neeldhara Misra and
Sebastian Ordyniak and
Stefan Szeider and
Stanislav Zivn{\'{y}}},
title = {Backdoors into heterogeneous classes of {SAT} and {CSP}},
journal = {J. Comput. Syst. Sci.},
volume = {85},
pages = {38--56},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2016.10.007},
doi = {10.1016/j.jcss.2016.10.007},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/GaspersMOSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"stN5hKd6qoPEPXEBX","bibbaseid":"gaspers-misra-ordyniak-szeider-zivn-backdoorsintoheterogeneousclassesofsatandcsp-2017","author_short":["Gaspers, S.","Misra, N.","Ordyniak, S.","Szeider, S.","Zivný, S."],"bibdata":{"bibtype":"article","type":"article","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":["Zivný"],"suffixes":[]}],"title":"Backdoors into heterogeneous classes of SAT and CSP","journal":"J. Comput. Syst. Sci.","volume":"85","pages":"38–56","year":"2017","url":"https://doi.org/10.1016/j.jcss.2016.10.007","doi":"10.1016/j.jcss.2016.10.007","timestamp":"Mon, 03 Aug 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/jcss/GaspersMOSZ17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jcss/GaspersMOSZ17,\n author = {Serge Gaspers and\n Neeldhara Misra and\n Sebastian Ordyniak and\n Stefan Szeider and\n Stanislav Zivn{\\'{y}}},\n title = {Backdoors into heterogeneous classes of {SAT} and {CSP}},\n journal = {J. Comput. Syst. Sci.},\n volume = {85},\n pages = {38--56},\n year = {2017},\n url = {https://doi.org/10.1016/j.jcss.2016.10.007},\n doi = {10.1016/j.jcss.2016.10.007},\n timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jcss/GaspersMOSZ17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gaspers, S.","Misra, N.","Ordyniak, S.","Szeider, S.","Zivný, S."],"key":"DBLP:journals/jcss/GaspersMOSZ17","id":"DBLP:journals/jcss/GaspersMOSZ17","bibbaseid":"gaspers-misra-ordyniak-szeider-zivn-backdoorsintoheterogeneousclassesofsatandcsp-2017","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.jcss.2016.10.007"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/85/6789.bib","dataSources":["tDMHZRX27gzjeY5r7"],"keywords":[],"search_terms":["backdoors","heterogeneous","classes","sat","csp","gaspers","misra","ordyniak","szeider","zivný"],"title":"Backdoors into heterogeneous classes of SAT and CSP","year":2017}