Joanna Ochremiak

From MaRDI portal
Person:2946355

Available identifiers

zbMath Open ochremiak.joannaMaRDI QIDQ2946355

List of research outcomes





PublicationDate of PublicationType
On the power of symmetric linear programs2024-12-19Paper
On the Power of Symmetric Linear Programs2022-12-08Paper
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem2021-01-20Paper
Proof complexity meets algebra2020-05-27Paper
https://portal.mardi4nfdi.de/entity/Q52070512020-01-03Paper
Proof Complexity Meets Algebra2019-02-07Paper
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity2018-04-23Paper
Locally Finite Constraint Satisfaction Problems2018-04-23Paper
https://portal.mardi4nfdi.de/entity/Q46365612018-04-19Paper
Algebraic Properties of Valued Constraint Satisfaction Problem2015-10-27Paper
Eliminating Recursion from Monadic Datalog Programs on Trees2015-09-16Paper
Nominal Sets over Algebraic Atoms2014-04-16Paper

Research outcomes over time

This page was built for person: Joanna Ochremiak

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