Albert Atserias

Cited by

	All	Since 2020
Citations	2459	1114
h-index	24	19
i10-index	36	27

300

150

225

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520 16 21 21 16 69 73 45 55 59 73 94 97 101 105 118 140 132 167 187 198 244 287 27

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
Moritz MüllerVerified email at uni-passau.de
Victor DalmauDepartment of Information and Communication Technologies, Universitat Pompeu FabraVerified email at upf.edu
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
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
Nicola GalesiSapienza University RomeVerified email at uniroma1.it
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	394	2013
A combinatorial characterization of resolution width A Atserias, V Dalmau Journal of Computer and System Sciences 74 (3), 323-334, 2008	187	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	161	2011
Affine systems of equations and counting infinitary logic A Atserias, A Bulatov, A Dawar Theoretical Computer Science 410 (18), 1666-1683, 2009	135	2009
Sherali--Adams relaxations and indistinguishability in counting logics A Atserias, E Maneva SIAM Journal on Computing 42 (1), 112-137, 2013	128	2013
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	125	2019
On digraph coloring problems and treewidth duality A Atserias European Journal of Combinatorics 29 (4), 796-820, 2008	121	2008
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	100	2006
Constraint propagation as a proof system A Atserias, PG Kolaitis, MY Vardi International Conference on Principles and Practice of Constraint …, 2004	93	2004
On the automatizability of resolution and related propositional proof systems A Atserias, ML Bonet Information and Computation 189 (2), 182-201, 2004	91	2004
On the Power of k-Consistency A Atserias, A Bulatov, V Dalmau International Colloquium on Automata, Languages, and Programming, 279-290, 2007	76	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	59	2020
Preservation under extensions on well-behaved finite structures A Atserias, A Dawar, M Grohe SIAM Journal on Computing 38 (4), 1364-1381, 2008	56	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
Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs A Atserias, TA Hakoniemi 34th Computational Complexity Conference, 24:1-24:20, 2019	34	2019
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

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