Autor der Publikation

A New Algorithm for Parameterized MAX-SAT.

, und . IPEC, Volume 7535 von Lecture Notes in Computer Science, Seite 37-48. Springer, (2012)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Families with Infants: A General Approach to Solve Hard Partition Problems., , und . ICALP (1), Volume 8572 von Lecture Notes in Computer Science, Seite 551-562. Springer, (2014)Gate elimination: Circuit size lower bounds and #SAT upper bounds., , , und . Theor. Comput. Sci., (2018)A note on lower bounds for non-interactive message authentication using weak keys., und . ITW Fall, Seite 249-251. IEEE, (2015)Hilbert Functions and Low-Degree Randomness Extractors., , , , und . Electron. Colloquium Comput. Complex., (2024)String Matching: Communication, Circuits, and Learning., , , und . APPROX-RANDOM, Volume 145 von LIPIcs, Seite 56:1-56:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Circuit Depth Reductions., , und . ITCS, Volume 185 von LIPIcs, Seite 24:1-24:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Fine-grained hardness of CVP(P) - Everything that we can prove (and nothing else)., , , und . SODA, Seite 1816-1835. SIAM, (2021)Quantum Worst-Case to Average-Case Reductions for All Linear Problems., , , , und . SODA, Seite 2535-2567. SIAM, (2024)Detecting Patterns Can Be Hard: Circuit Lower Bounds for the String Matching Problem., , und . CoRR, (2017)Solving SCS for bounded length strings in fewer than 2n steps., , und . Inf. Process. Lett., 114 (8): 421-425 (2014)