( en | de | ru )

 

Disambiguation of "Atserias, Albert"

Author of the publication

copydeleteadd this publication to your clipboard
Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs.

, and . CoRR, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Albert Moser

Carsten Albert

Albert Moser

Rudolf Albert

Albert Schlecht

 

Other publications of authors with the same name

Degree lower bounds of tower-type for approximating formulas with parity quantifiers., and . ACM Trans. Comput. Log., 15 (1): 6:1-6:24 (2014)Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem., and . LICS, page 66-75. ACM, (2018)On Preservation under Homomorphisms and Unions of Conjunctive Queries., , and . PODS, page 319-329. ACM, (2004)On preservation under homomorphisms and unions of conjunctive queries., , and . J. ACM, 53 (2): 208-237 (2006)Sherali-Adams relaxations and indistinguishability in counting logics., and . ITCS, page 367-379. ACM, (2012)Notions of Average-Case Complexity for Random 3-SAT.. CSL, volume 3210 of Lecture Notes in Computer Science, page 1-5. Springer, (2004)Generalized Satisfiability Problems via Operator Assignments., , and . FCT, volume 10472 of Lecture Notes in Computer Science, page 56-68. Springer, (2017)Conjunctive Query Evaluation by Search Tree Revisited.. ICDT, volume 3363 of Lecture Notes in Computer Science, page 53-67. Springer, (2005)Preservation Under Extensions on Well-Behaved Finite Structures., , and . ICALP, volume 3580 of Lecture Notes in Computer Science, page 1437-1449. Springer, (2005)Circular (Yet Sound) Proofs in Propositional Logic., and . ACM Trans. Comput. Log., 24 (3): 20:1-20:26 (2023)