@article{Alekhnovich_2008,
    doi = {10.1137/06066850x},
    url = {https://doi.org/10.1137%2F06066850x},
    year = {2008},
    month = {jan},
    publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})},
    volume = {38},
    number = {4},
    pages = {1347--1363},
    author = {Michael Alekhnovich and Alexander A. Razborov},
    title = {Resolution Is Not Automatizable Unless W[P] Is Tractable},
    journal = {{SIAM} Journal on Computing}
}

@article{Alekhnovich_2008, doi = {10.1137/06066850x}, url = {https://doi.org/10.1137%2F06066850x}, year = {2008}, month = {jan}, publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})}, volume = {38}, number = {4}, pages = {1347--1363}, author = {Michael Alekhnovich and Alexander A. Razborov}, title = {Resolution Is Not Automatizable Unless W[P] Is Tractable}, journal = {{SIAM} Journal on Computing} }