( en | de | ru )

 

Disambiguierung von "Atserias, Albert"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Combinatorial Characterization of Resolution Width

, und . Electron. Colloquium Comput. Complex., (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Carsten Albert

Albert Moser

Albert Moser

Albert Löhr

Rudolf Albert

 

Weitere Publikationen von Autoren mit dem selben Namen

Automating Resolution is NP-Hard., und . J. ACM, 67 (5): 31:1-31:17 (2020)Improved bounds on the Weak Pigeonhole Principle and infinitely many primes from weaker axioms.. Theor. Comput. Sci., (2003)Monotone simulations of non-monotone proofs., , und . J. Comput. Syst. Sci., 65 (4): 626-638 (2002)Structure and Complexity of Bag Consistency., und . CoRR, (2020)Structure and Complexity of Bag Consistency., und . PODS, Seite 247-259. ACM, (2021)Quantum and non-signalling graph isomorphisms., , , , , und . J. Comb. Theory, Ser. B, (2019)On the Power of k -Consistency., , und . ICALP, Volume 4596 von Lecture Notes in Computer Science, Seite 279-290. Springer, (2007)Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs., und . CoRR, (2018)Improved Bounds on the Weak Pigeonhole Principle and Infinitely Many Primes from Weaker Axioms.. MFCS, Volume 2136 von Lecture Notes in Computer Science, Seite 148-158. Springer, (2001)Non-Homogenizable Classes of Finite Structures., und . CSL, Volume 62 von LIPIcs, Seite 16:1-16:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)