Albert Atserias

Cited by

	All	Since 2018
Citations	2126	1077
h-index	23	17
i10-index	34	27

240

120

180

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320 16 19 20 16 67 72 44 53 57 74 86 92 99 105 118 137 128 182 192 201 234

Public access

View all

25 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Anuj DawarUniversity of CambridgeVerified email at cl.cam.ac.uk
Phokion KolaitisDistinguished Research Professor, UC Santa Cuz and Principal Research Staff Member, IBM ResearchVerified email at ucsc.edu
Martin GroheProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
Maria Luisa BonetLSI, UPCVerified email at lsi.upc.edu
Jakob NordströmUniversity of Copenhagen and Lund UniversityVerified email at di.ku.dk
Victor DalmauDepartment of Information and Communication Technologies, Universitat Pompeu FabraVerified email at upf.edu
Elitza ManevaBalconia Math Educational GamesVerified email at berkeley.edu
Andrei BulatovSimon Fraser UniversityVerified email at sfu.ca
Moritz MüllerVerified email at uni-passau.de
Simone SeveriniAWS/UCLVerified email at ucl.ac.uk
Nicola GalesiSapienza University RomeVerified email at uniroma1.it
Laura MančinskaAssociate Professor at QMATH, University of CopenhagenVerified email at locc.la
Robert Samalassociate professor, Computer Science Institute, Charles UniversityVerified email at iuuk.mff.cuni.cz
Dániel MarxCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
David E. RobersonTechnical University of DenmarkVerified email at dtu.dk
Johannes K. FichteLinköping UniversityVerified email at liu.se
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Ricard GavaldàUniversitat Politècnica de Catalunya + Amalfi AnalyticsVerified email at cs.upc.edu
Tuomas HakoniemiUniversity of HelsinkiVerified email at helsinki.fi
Jose L. BalcazarProfessor, Computer Science, Universitat Politècnica de CatalunyaVerified email at upc.edu

Albert Atserias

Universitat Politècnica de Catalunya, Barcelona

Verified email at cs.upc.edu - Homepage

computational complexity logic in computer science combinatorics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Size bounds and query plans for relational joins A Atserias, M Grohe, D Marx SIAM Journal on Computing 42 (4), 1737-1767, 2013	330	2013
A combinatorial characterization of resolution width A Atserias, V Dalmau Journal of Computer and System Sciences 74 (3), 323-334, 2008	174	2008
Clause-learning algorithms with many restarts and bounded-width resolution A Atserias, JK Fichte, M Thurley Journal of Artificial Intelligence Research 40, 353-373, 2011	143	2011
Affine systems of equations and counting infinitary logic A Atserias, A Bulatov, A Dawar Theoretical Computer Science 410 (18), 1666-1683, 2009	118	2009
Sherali--Adams relaxations and indistinguishability in counting logics A Atserias, E Maneva SIAM Journal on Computing 42 (1), 112-137, 2013	116	2013
On digraph coloring problems and treewidth duality A Atserias European Journal of Combinatorics 29 (4), 796-820, 2008	110	2008
Quantum and non-signalling graph isomorphisms A Atserias, L Mančinska, DE Roberson, R Šámal, S Severini, ... Journal of Combinatorial Theory, Series B 136, 289-328, 2019	92	2019
On preservation under homomorphisms and unions of conjunctive queries A Atserias, A Dawar, PG Kolaitis Journal of the ACM (JACM) 53 (2), 208-237, 2006	87	2006
Constraint propagation as a proof system A Atserias, PG Kolaitis, MY Vardi International Conference on Principles and Practice of Constraint …, 2004	87	2004
On the automatizability of resolution and related propositional proof systems A Atserias, ML Bonet Information and Computation 189 (2), 182-201, 2004	84	2004
On the Power of k-Consistency A Atserias, A Bulatov, V Dalmau International Colloquium on Automata, Languages, and Programming, 279-290, 2007	68	2007
Narrow proofs may be maximally long A Atserias, M Lauria, J Nordström ACM Transactions on Computational Logic (TOCL) 17 (3), 1-30, 2016	59	2016
Lower bounds for the weak pigeonhole principle and random formulas beyond resolution A Atserias, ML Bonet, JL Esteban Information and Computation 176 (2), 136-152, 2002	59*	2002
Preservation under extensions on well-behaved finite structures A Atserias, A Dawar, M Grohe SIAM Journal on Computing 38 (4), 1364-1381, 2008	47	2008
Automating resolution is NP-hard A Atserias, M Müller Journal of the ACM (JACM) 67 (5), 1-17, 2020	44	2020
On sufficient conditions for unsatisfiability of random formulas A Atserias Journal of the ACM (JACM) 51 (2), 281-311, 2004	43*	2004
Monotone simulations of non-monotone proofs A Atserias, N Galesi, P Pudlák Journal of Computer and System Sciences 65 (4), 626-638, 2002	41	2002
Bounded-width QBF is PSPACE-complete A Atserias, S Oliva Journal of Computer and System Sciences 80 (7), 1415-1429, 2014	37	2014
Monotone proofs of the pigeon hole principle A Atserias, N Galesi, R Gavaldá Mathematical Logic Quarterly: Mathematical Logic Quarterly 47 (4), 461-474, 2001	33	2001
Distinguishing SAT from polynomial-size circuits, through black-box queries A Atserias 21st Annual IEEE Conference on Computational Complexity (CCC'06), 8 pp.-95, 2006	32	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors