Obserwuj
Joanna Fijalkow
Joanna Fijalkow
Inne imiona/nazwiskaJoanna Ochremiak
CNRS, LaBRI
Zweryfikowany adres z labri.fr - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Algebraic properties of valued constraint satisfaction problem
M Kozik, J Ochremiak
International Colloquium on Automata, Languages, and Programming, 846-858, 2015
44*2015
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
252018
Proof complexity meets algebra
A Atserias, J Ochremiak
ACM Transactions on Computational Logic (TOCL) 20 (1), 1, 2018
242018
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
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
192016
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
142014
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
92019
Extended constraint satisfaction problems
J Ochremiak
Ph. D. thesis, University of Warsaw, 2016
72016
Nominal sets over algebraic atoms
J Ochremiak
International Conference on Relational and Algebraic Methods in Computer …, 2014
42014
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
Mathematical Foundations of Computer Science 2015: 40th International …, 2015
22015
Definable isomorphism problem
K Keshvardoost, B Klin, S Lasota, J Ochremiak, S Toruńczyk
Logical Methods in Computer Science 15, 2019
12019
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem
A Atserias, J Fijalkow
SIAM Journal on Computing 52 (5), 1193-1229, 2023
2023
Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051)
A Atserias, C Berkholz, K Etessami, J Ochremiak
Dagstuhl Reports 12 (1), 2022
2022
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–14