Concepedia

Albert Atserias

AA

23

Publications

1.1K

Citations

18

H-Index

2002

Active since

Affiliations

Universitat Politècnica de Catalunya(Current)

Universitat de Barcelona

University of Cambridge

KTH Royal Institute of Technology

University of California, Santa Cruz

Albert Atserias is an author at Universitat Politècnica de Catalunya specializing in engineering, automated reasoning, and discrete mathematics.

Top concepts

EngineeringAutomated ReasoningDiscrete MathematicsComputational ComplexityGraph TheoryFormal MethodsComputer ScienceProof ComplexityCombinatorial OptimizationVerification

Publications per year

2002–2018

23

Publications

23

Size Bounds and Query Plans for Relational Joins

Albert Atserias, Martin Grohe, Dániel Marx · 2008 · 155 citations

Engineering, Computational Complexity, Information Retrieval +16

Size Bounds and Query Plans for Relational Joins

Albert Atserias, Martin Grohe, Dániel Marx · SIAM Journal on Computing · 2013 · 153 citations

Engineering, Computational Complexity, Information Retrieval +16

Sherali--Adams Relaxations and Indistinguishability in Counting Logics

Albert Atserias, Elitza Maneva · SIAM Journal on Computing · 2013 · 87 citations

Computational Complexity Theory, Engineering, Computational Complexity +16

On the automatizability of resolution and related propositional proof systems

Albert Atserias, Marı́a Luisa Bonet · Information and Computation · 2003 · 80 citations

Engineering, Automated Reasoning, Propositional Logic +8

Affine systems of equations and counting infinitary logic

Albert Atserias, Andreǐ A. Bulatov, Anuj Dawar · Theoretical Computer Science · 2009 · 76 citations

Algebraic Logic, Engineering, Automated Reasoning +4

Rows per page

1–5 of 23