Albert Atserias

Cited by

	All	Since 2019
Citations	2375	1171
h-index	24	19
i10-index	34	27

260

130

195

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420 16 16 21 16 69 73 45 55 59 74 94 97 102 105 118 140 144 167 187 196 248 224

Public access

View all

26 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
Andrei BulatovSimon Fraser UniversityVerified email at sfu.ca
Victor DalmauDepartment of Information and Communication Technologies, Universitat Pompeu FabraVerified email at upf.edu
Moritz MüllerVerified email at uni-passau.de
Elitza ManevaAutonomous University of Barcelona (UAB)Verified email at berkeley.edu
Dániel MarxCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Simone SeveriniAWS/UCLVerified email at ucl.ac.uk
Nicola GalesiSapienza University RomeVerified email at uniroma1.it
David E. RobersonTechnical University of DenmarkVerified email at dtu.dk
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
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	377	2013
A combinatorial characterization of resolution width A Atserias, V Dalmau Journal of Computer and System Sciences 74 (3), 323-334, 2008	188	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	158	2011
Affine systems of equations and counting infinitary logic A Atserias, A Bulatov, A Dawar Theoretical Computer Science 410 (18), 1666-1683, 2009	131	2009
Sherali--Adams relaxations and indistinguishability in counting logics A Atserias, E Maneva SIAM Journal on Computing 42 (1), 112-137, 2013	125	2013
On digraph coloring problems and treewidth duality A Atserias European Journal of Combinatorics 29 (4), 796-820, 2008	120	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	116	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	96	2006
Constraint propagation as a proof system A Atserias, PG Kolaitis, MY Vardi International Conference on Principles and Practice of Constraint …, 2004	91	2004
On the automatizability of resolution and related propositional proof systems A Atserias, ML Bonet Information and Computation 189 (2), 182-201, 2004	88	2004
On the Power of k-Consistency A Atserias, A Bulatov, V Dalmau International Colloquium on Automata, Languages, and Programming, 279-290, 2007	72	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	62	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	61*	2002
Automating resolution is NP-hard A Atserias, M Müller Journal of the ACM (JACM) 67 (5), 1-17, 2020	54	2020
Preservation under extensions on well-behaved finite structures A Atserias, A Dawar, M Grohe SIAM Journal on Computing 38 (4), 1364-1381, 2008	52	2008
On sufficient conditions for unsatisfiability of random formulas A Atserias Journal of the ACM (JACM) 51 (2), 281-311, 2004	44*	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	43	2002
Bounded-width QBF is PSPACE-complete A Atserias, S Oliva Journal of Computer and System Sciences 80 (7), 1415-1429, 2014	41	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	34	2001
Clique Is Hard on Average for Regular Resolution A Atserias, I Bonacina, SF de Rezende, M Lauria, J Nordström, ... Journal of the ACM 68 (4), 23:1-23:26, 2021	32	2021

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