| Algebraic properties of valued constraint satisfaction problem M Kozik, J Ochremiak International Colloquium on Automata, Languages, and Programming, 846-858, 2015 | 40* | 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 | 27 | 2015 |
| Proof complexity meets algebra A Atserias, J Ochremiak ACM Transactions on Computational Logic (TOCL) 20 (1), 1, 2018 | 21 | 2018 |
| 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 | 18 | 2016 |
| 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 | 17 | 2018 |
| 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 | 16 | 2014 |
| Extended constraint satisfaction problems J Ochremiak Ph. D. thesis, University of Warsaw, 2016 | 8 | 2016 |
| 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 | 7 | 2019 |
| Nominal sets over algebraic atoms J Ochremiak International Conference on Relational and Algebraic Methods in Computer …, 2014 | 3 | 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 International Symposium on Mathematical Foundations of Computer Science, 394-406, 2015 | 2 | 2015 |
| Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051) A Atserias, C Berkholz, K Etessami, J Ochremiak Dagstuhl Reports 12 (1), 2022 | | 2022 |
| Definable isomorphism problem K Keshvardoost, B Klin, S Lasota, J Ochremiak, S Toruńczyk Logical Methods in Computer Science 15, 2019 | | 2019 |
Szymon ToruńczykUniversity of WarsawZweryfikowany adres z mimuw.edu.pl
