Michal Garlík

From MaRDI portal
Person:506953

Available identifiers

zbMath Open garlik.michalMaRDI QIDQ506953

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50923982022-07-21Paper
Failure of Feasible Disjunction Property for $k$-DNF Resolution and NP-hardness of Automating It2020-03-19Paper
Resolution Lower Bounds for Refutation Statements2019-05-29Paper
Some Subsystems of Constant-Depth Frege with Parity2019-02-07Paper
Construction of models of bounded arithmetic by restricted reduced powers2017-02-02Paper
A new proof of Ajtai's completeness theorem for nonstandard finite structures2015-04-14Paper

Research outcomes over time

This page was built for person: Michal Garlík

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:506953&oldid=6917984"
Powered by MediaWiki