Autor der Publikation

Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression.

, , , und . MFCS, Volume 58 von LIPIcs, Seite 82:1-82:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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

Minmax Regret 1-Sink Location Problems on Dynamic Flow Path Networks with Parametric Weights., , , , und . WALCOM, Volume 12635 von Lecture Notes in Computer Science, Seite 52-64. Springer, (2021)A Moderately Exponential Time Algorithm for k-IBDD Satisfiability., , und . WADS, Volume 9214 von Lecture Notes in Computer Science, Seite 554-565. Springer, (2015)A Satisfiability Algorithm for Deterministic Width-2 Branching Programs., , , , und . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 105-A (9): 1298-1308 (September 2022)Faster Algorithms for Evacuation Problems in Networks with the Small Degree Sink and Uniformly Capacitated Edges., , , und . CoRR, (2023)Red-Black Spanners for Mixed-Charging Vehicular Networks., , , , , und . COCOON (1), Volume 14422 von Lecture Notes in Computer Science, Seite 220-231. Springer, (2023)Faster Algorithms for Evacuation Problems in Networks with a Single Sink of Small Degree and Bounded Capacitated Edges., , , und . COCOA (1), Volume 14461 von Lecture Notes in Computer Science, Seite 29-42. Springer, (2023)Satisfiability Algorithm for Syntactic Read-$k$-times Branching Programs., , und . ISAAC, Volume 92 von LIPIcs, Seite 58:1-58:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Small Complexity Gaps for Comparison-Based Sorting., , und . Adventures Between Lower Bounds and Higher Altitudes, Volume 11011 von Lecture Notes in Computer Science, Seite 280-296. Springer, (2018)A Satisfiability Algorithm for Depth-2 Circuits with a Symmetric Gate at the Top and AND Gates at the Bottom., , , und . Electron. Colloquium Comput. Complex., (2015)On Computing a Center Persistence Diagram., , , , , , und . FCT, Volume 14292 von Lecture Notes in Computer Science, Seite 262-275. Springer, (2023)