Joanna Ochremiak
Joanna Ochremiak
CNRS, LaBRI
Verified email at labri.fr - Homepage
Title
Cited by
Cited by
Year
Algebraic properties of valued constraint satisfaction problem
M Kozik, J Ochremiak
International Colloquium on Automata, Languages, and Programming, 846-858, 2015
35*2015
Locally finite constraint satisfaction problems
B Klin, E Kopczynski, J Ochremiak, S Torunczyk
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 475-486, 2015
242015
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity
B Klin, S Lasota, J Ochremiak, S Toruńczyk
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
152014
Homomorphism problems for first-order definable structures
B Klin, S Lasota, JR Ochremiak, SA Torunczyk
36th IARCS Annual Conference on Foundations of Software Technology and …, 2016
142016
Proof complexity meets algebra
A Atserias, J Ochremiak
ACM Transactions on Computational Logic (TOCL) 20 (1), 1, 2018
132018
Definable ellipsoid method, sums-of-squares proofs, and the isomorphism problem
A Atserias, J Ochremiak
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
132018
Extended constraint satisfaction problems
J Ochremiak
Ph. D. thesis, University of Warsaw, 2016
72016
On the power of symmetric linear programs
A Atserias, A Dawar, J Ochremiak
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
52019
Nominal sets over algebraic atoms
J Ochremiak
International Conference on Relational and Algebraic Methods in Computer …, 2014
32014
Agregacja sądów a agregacja preferencji
J Ochremiak
Decyzje, 43-72, 2011
32011
Eliminating recursion from monadic datalog programs on trees
F Mazowiecki, J Ochremiak, A Witkowski
International Symposium on Mathematical Foundations of Computer Science, 394-406, 2015
22015
Definable isomorphism problem
K Keshvardoost, B Klin, S Lasota, J Ochremiak, S Toruńczyk
Logical Methods in Computer Science 15, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–12