Albert Atserias
Orcid: 0000-0002-3732-1989Affiliations:
- Polytechnic University of Catalonia, Barcelona, Spain
According to our database1,
Albert Atserias
authored at least 70 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
2
2
2
2
2
5
1
3
2
3
1
3
1
1
4
1
1
1
1
2
3
2
1
2
1
1
2
2
1
1
1
1
2
1
1
1
2
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on lsi.upc.edu
On csauthors.net:
Bibliography
2024
Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets.
Electron. Colloquium Comput. Complex., 2024
2023
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem.
SIAM J. Comput., October, 2023
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023
2022
Proceedings of the 2022 ACM-SIAM Symposium on Discrete Algorithms, 2022
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022
2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
2019
Log. Methods Comput. Sci., 2019
J. Comput. Syst. Sci., 2019
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019
Proceedings of the 34th Computational Complexity Conference, 2019
2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
2015
J. Symb. Log., 2015
CoRR, 2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
2014
2013
SIAM J. Comput., 2013
Electron. Colloquium Comput. Complex., 2013
The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
2012
Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers.
Electron. Colloquium Comput. Complex., 2012
2011
J. Artif. Intell. Res., 2011
Electron. Colloquium Comput. Complex., 2011
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011
2010
Electron. Colloquium Comput. Complex., 2010
2009
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009
Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems.
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009
2008
SIAM J. Comput., 2008
E. Grädel, P. Kolaitis, L. Libkin, M. Marx, I. Spencer, M. Vardi, Y. Venema and S. Weinstein , Finite Model Theory and Its Applications, Springer-Verlag (2007).
Comput. Sci. Rev., 2008
2007
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007
2006
Proceedings of the 21st Annual IEEE Conference on Computational Complexity (CCC 2006), 2006
2005
Electron. Colloquium Comput. Complex., 2005
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005
2004
Proceedings of the Computer Science Logic, 18th International Workshop, 2004
Proceedings of the Principles and Practice of Constraint Programming, 2004
2003
Improved bounds on the Weak Pigeonhole Principle and infinitely many primes from weaker axioms.
Theor. Comput. Sci., 2003
Electron. Colloquium Comput. Complex., 2003
2002
Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution.
Inf. Comput., 2002
Electron. Colloquium Comput. Complex., 2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
2001
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001
Proceedings of the 16th Annual IEEE Conference on Computational Complexity, 2001
2000
Electron. Colloquium Comput. Complex., 2000
Electron. Colloquium Comput. Complex., 2000
Proceedings of the Computer Science Logic, 2000
1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999