Was the paper 'Failure of Feasible Disjunction Property for $k$-DNF Resolution and NP-hardness of Automating It' not published by Michal Garl\u00EDk in Electron. Colloquium Comput. Complex.?
Wasn't the paper 'Failure of Feasible Disjunction Property for $k$-DNF Resolution and NP-hardness of Automating It' published by the author Michal Garl\u00EDk in Electron. Colloquium Comput. Complex.?
ASK { <https://dblp.org/rec/journals/eccc/Garlik20> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/160/4469> . <https://dblp.org/rec/journals/eccc/Garlik20> <https://dblp.org/rdf/schema#publishedIn> 'Electron. Colloquium Comput. Complex.' FILTER NOT EXISTS { <https://dblp.org/rec/journals/eccc/Garlik20> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/160/4469> . <https://dblp.org/rec/journals/eccc/Garlik20> <https://dblp.org/rdf/schema#publishedIn> 'Electron. Colloquium Comput. Complex.' } }
<https://dblp.org/pid/160/4469> <https://dblp.org/rec/journals/eccc/Garlik20>