Joanna Ochremiak

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 16

Top Topics

Constraint Satisfaction

Algebraic Properties

Arc Consistency

Top Venues

Publications

Albert Atserias, Christoph Berkholz, Kousha Etessami, Joanna Ochremiak
Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051). Dagstuhl Reports 12 (1) (2022)
Albert Atserias, Anuj Dawar, Joanna Ochremiak
On the Power of Symmetric Linear Programs. J. ACM 68 (4) (2021)
Albert Atserias, Joanna Ochremiak
Proof Complexity Meets Algebra. ACM Trans. Comput. Log. 20 (1) (2019)
Albert Atserias, Anuj Dawar, Joanna Ochremiak
On the Power of Symmetric Linear Programs. CoRR (2019)
Khadijeh Keshvardoost, Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk
Definable isomorphism problem. Log. Methods Comput. Sci. 15 (4) (2019)
Albert Atserias, Anuj Dawar, Joanna Ochremiak
On the Power of Symmetric Linear Programs. LICS (2019)
Khadijeh Keshvardoost, Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk
Definable isomorphism problem. CoRR (2018)
Albert Atserias, Joanna Ochremiak
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem. LICS (2018)
Albert Atserias, Joanna Ochremiak
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem. CoRR (2018)
Albert Atserias, Joanna Ochremiak
Proof Complexity Meets Algebra. CoRR (2017)
Albert Atserias, Joanna Ochremiak
Proof Complexity Meets Algebra. ICALP (2017)
Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk
Homomorphism Problems for First-Order Definable Structures. FSTTCS (2016)
Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski
Eliminating Recursion from Monadic Datalog Programs on Trees. MFCS (1) (2015)
Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk
Locally Finite Constraint Satisfaction Problems. LICS (2015)
Marcin Kozik, Joanna Ochremiak
Algebraic Properties of Valued Constraint Satisfaction Problem. ICALP (1) (2015)
Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski
Eliminating Recursion from Monadic Datalog Programs on Trees. CoRR (2015)
Joanna Ochremiak
Nominal Sets over Algebraic Atoms. RAMiCS (2014)
Joanna Ochremiak
Algebraic Properties of Valued Constraint Satisfaction Problem. CoRR (2014)
Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity. CSL-LICS (2014)