| 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 | 25 | 2018 |
| Proof complexity meets algebra A Atserias, J Ochremiak ACM Transactions on Computational Logic (TOCL) 20 (1), 1, 2018 | 24 | 2018 |
| 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 | 24 | 2015 |
| 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 | 19 | 2016 |
| 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 | 14 | 2014 |
| 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 | 9 | 2019 |
| Extended constraint satisfaction problems J Ochremiak Ph. D. thesis, University of Warsaw, 2016 | 7 | 2016 |
| Nominal sets over algebraic atoms J Ochremiak International Conference on Relational and Algebraic Methods in Computer …, 2014 | 4 | 2014 |
| Agregacja sądów a agregacja preferencji J Ochremiak Decyzje, 43-72, 2011 | 3 | 2011 |
| Eliminating recursion from monadic datalog programs on trees F Mazowiecki, J Ochremiak, A Witkowski Mathematical Foundations of Computer Science 2015: 40th International …, 2015 | 2 | 2015 |
| Definable isomorphism problem K Keshvardoost, B Klin, S Lasota, J Ochremiak, S Toruńczyk Logical Methods in Computer Science 15, 2019 | 1 | 2019 |
| 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 |
Szymon ToruńczykUniversity of WarsawVerified email at mimuw.edu.pl
