Albert Atserias

Citirano

	Sve	Od 2019.
Citati	2326	1124
H-indeks	24	18
i10-indeks	34	28

260

130

195

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420 16 16 21 16 69 73 45 55 59 74 94 97 102 104 118 139 144 175 188 200 254 161

Javni pristup

Prikaži sve

26 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Anuj DawarUniversity of CambridgePotvrđena adresa e-pošte na cl.cam.ac.uk
Phokion KolaitisDistinguished Research Professor, UC Santa Cuz and Principal Research Staff Member, IBM ResearchPotvrđena adresa e-pošte na ucsc.edu
Martin GroheProfessor of Computer Science, RWTH Aachen UniversityPotvrđena adresa e-pošte na informatik.rwth-aachen.de
Maria Luisa BonetLSI, UPCPotvrđena adresa e-pošte na lsi.upc.edu
Andrei BulatovSimon Fraser UniversityPotvrđena adresa e-pošte na sfu.ca
Jakob NordströmUniversity of Copenhagen and Lund UniversityPotvrđena adresa e-pošte na di.ku.dk
Victor DalmauDepartment of Information and Communication Technologies, Universitat Pompeu FabraPotvrđena adresa e-pošte na upf.edu
Moritz MüllerPotvrđena adresa e-pošte na uni-passau.de
Elitza ManevaAutonomous University of Barcelona (UAB)Potvrđena adresa e-pošte na berkeley.edu
Dániel MarxCISPA Helmholtz Center for Information SecurityPotvrđena adresa e-pošte na cispa.saarland
Simone SeveriniAWS/UCLPotvrđena adresa e-pošte na ucl.ac.uk
Nicola GalesiSapienza University RomePotvrđena adresa e-pošte na uniroma1.it
David E. RobersonTechnical University of DenmarkPotvrđena adresa e-pošte na dtu.dk
Laura MančinskaAssociate Professor at QMATH, University of CopenhagenPotvrđena adresa e-pošte na locc.la
Robert Samalassociate professor, Computer Science Institute, Charles UniversityPotvrđena adresa e-pošte na iuuk.mff.cuni.cz
Johannes K. FichteLinköping UniversityPotvrđena adresa e-pošte na liu.se
Moshe Y. VardiRice UniversityPotvrđena adresa e-pošte na cs.rice.edu
Ricard GavaldàUniversitat Politècnica de Catalunya + Amalfi AnalyticsPotvrđena adresa e-pošte na cs.upc.edu
Tuomas HakoniemiUniversity of HelsinkiPotvrđena adresa e-pošte na helsinki.fi
Jose L. BalcazarProfessor, Computer Science, Universitat Politècnica de CatalunyaPotvrđena adresa e-pošte na upc.edu

Prati

Albert Atserias

Universitat Politècnica de Catalunya, Barcelona

Potvrđena adresa e-pošte na cs.upc.edu - Početna stranica

computational complexity logic in computer science combinatorics


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Size bounds and query plans for relational joins A Atserias, M Grohe, D Marx SIAM Journal on Computing 42 (4), 1737-1767, 2013	364	2013
A combinatorial characterization of resolution width A Atserias, V Dalmau Journal of Computer and System Sciences 74 (3), 323-334, 2008	184	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	153	2011
Affine systems of equations and counting infinitary logic A Atserias, A Bulatov, A Dawar Theoretical Computer Science 410 (18), 1666-1683, 2009	130	2009
Sherali--Adams relaxations and indistinguishability in counting logics A Atserias, E Maneva SIAM Journal on Computing 42 (1), 112-137, 2013	123	2013
On digraph coloring problems and treewidth duality A Atserias European Journal of Combinatorics 29 (4), 796-820, 2008	118	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	107	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	93	2006
Constraint propagation as a proof system A Atserias, PG Kolaitis, MY Vardi International Conference on Principles and Practice of Constraint …, 2004	90	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	63	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	62*	2002
Automating resolution is NP-hard A Atserias, M Müller Journal of the ACM (JACM) 67 (5), 1-17, 2020	53	2020
Preservation under extensions on well-behaved finite structures A Atserias, A Dawar, M Grohe SIAM Journal on Computing 38 (4), 1364-1381, 2008	50	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

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori