Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Albert Atserias

Proof Complexity Meets Algebra

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2019English

Degree Lower Bounds of Tower-Type for Approximating Formulas With Parity Quantifiers

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2014English

Mean-Payoff Games and Propositional Proofs

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2011English

Definable Ellipsoid Method, Sums-Of-Squares Proofs, and the Isomorphism Problem

2018English

Automating Resolution Is NP-Hard

2019English

Conjunctive Query Evaluation by Search-Tree Revisited

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2007English

Lower Bounds for the Weak Pigeonhole Principle and Random Formulas Beyond Resolution

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2002English

Preservation Under Extensions on Well-Behaved Finite Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Notions of Average-Case Complexity for Random 3-Sat

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Decidable Relationships Between Consistency Notions for Constraint Satisfaction Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy