Albert Atserias
Universidad Politécnica de Cataluña
H-index: 23
Europe-Spain
Top articles of Albert Atserias
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
THE BULLETIN OF SYMBOLIC LOGIC | Laurent Bienvenu Matthias Baaz Ali Enayat James Cummings Leonid Libkin | 2021 | |
Consistency of Relations over Monoids | arXiv preprint arXiv:2312.02023 | Albert Atserias Phokion G Kolaitis | 2023/12/4 |
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem | SIAM Journal on Computing | Albert Atserias Joanna Fijalkow | 2023/10/31 |
Consistency, acyclicity, and positive semirings | Albert Atserias Phokion G Kolaitis | 2023/8/2 | |
On the consistency of circuit lower bounds for non-deterministic time | arXiv preprint arXiv:2303.01016 | Albert Atserias Sam Buss Moritz Müller | 2023/3/2 |
Circular (Yet Sound) Proofs in Propositional Logic | ACM Transactions on Computational Logic | Albert Atserias Massimo Lauria | 2023/4/7 |
Computation Theory | ACM Transactions on | Ryan O’Donnell Vikraman Arvind Albert Atserias Andrej Bogdanov Harry Buhrman | 2022 |
Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051) | Albert Atserias Christoph Berkholz Kousha Etessami Joanna Ochremiak | 2022 | |
Towards a Theory of Algorithmic Proof Complexity (Invited Talk) | Albert Atserias | 2022 | |
Promise constraint satisfaction and width | Albert Atserias Víctor Dalmau | 2022 | |
Lazlo Lovász i Avi Widergson: premis Abel 2021 | SCM/Notícies | Juan José Rué Perna Josep Díaz Cort Jordi Guàrdia Rubies Albert Atserias Oriol Serra Albó | 2021/12/14 |
On the power of symmetric linear programs | Journal of the ACM (JACM) | Albert Atserias Anuj Dawar Joanna Ochremiak | 2021/7/29 |
On the expressive power of homomorphism counts | Albert Atserias Phokion G Kolaitis Wei-Lin Wu | 2021/6/29 | |
Structure and complexity of bag consistency | Albert Atserias Phokion G Kolaitis | 2021/6/20 | |
Clique Is Hard on Average for Regular Resolution | Journal of the ACM (JACM) | Albert Atserias Ilario Bonacina Susanna F De Rezende Massimo Lauria Jakob Nordström | 2021/6/30 |
Automating resolution is NP-hard | Journal of the ACM (JACM) | Albert Atserias Moritz Müller | 2020/9/1 |
Proofs of Soundness and Proof Search (Invited Talk) | Albert Atserias | 2020 |