@article{2020arXiv200310230G,
    author = {Michal Garlík},
    doi = {https://dx.doi.org/10.48550/arxiv.2003.10230},
    archiveprefix = {arXiv},
    eid = {arXiv:2003.10230},
    eprint = {2003.10230},
    file = {Failure of Feasible Disjunction Property for k-DNF Resolution and NP-hardness of Automating It - 2003.10230 - a - a - a - f.pdf},
    journal = {arXiv e-prints},
    month = {March},
    pages = {arXiv:2003.10230},
    primaryclass = {cs.CC},
    title = {{Failure of Feasible Disjunction Property for $k$-DNF Resolution and NP-hardness of Automating It}},
    year = {2020},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2020arXiv200310230G},
    date-added = {2020-03-29 09:34:32 +0200},
    date-modified = {2025-10-15 20:59:31 +0100},
    obsidian_note = {change5}
}

@article{2020arXiv200310230G, author = {Michal Garlík}, doi = {https://dx.doi.org/10.48550/arxiv.2003.10230}, archiveprefix = {arXiv}, eid = {arXiv:2003.10230}, eprint = {2003.10230}, file = {Failure of Feasible Disjunction Property for k-DNF Resolution and NP-hardness of Automating It - 2003.10230 - a - a - a - f.pdf}, journal = {arXiv e-prints}, month = {March}, pages = {arXiv:2003.10230}, primaryclass = {cs.CC}, title = {{Failure of Feasible Disjunction Property for $k$-DNF Resolution and NP-hardness of Automating It}}, year = {2020}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, adsurl = {https://ui.adsabs.harvard.edu/abs/2020arXiv200310230G}, date-added = {2020-03-29 09:34:32 +0200}, date-modified = {2025-10-15 20:59:31 +0100}, obsidian_note = {change5} }