( en | de | ru )

 

Disambiguierung von "Vinyals, Marc"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Hierarchical Community Structure of Practical Boolean Formulas.

, , , , , , , und . SAT, Volume 12831 von Lecture Notes in Computer Science, Seite 359-376. Springer, (2021)

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.

Marc Vinyals

Oriol Vinyals

Stefanie Marczoch

Langzeitverlauf von 200 Patienten mit kraniofazialen und zervikalen Dystonien bis zu 12 Jahre nach der ersten Botulinumtoxin-Behandlung. TU München, (2009)

Branco Marcovici

Ulrich March

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving Unsatisfiability with Hitting Formulas., , , , und . ITCS, Volume 287 von LIPIcs, Seite 48:1-48:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity., , , , , und . FOCS, Seite 24-30. IEEE, (2020)Hard Examples for Common Variable Decision Heuristics.. AAAI, Seite 1652-1659. AAAI Press, (2020)Equality Alone Does Not Simulate Randomness., , und . Electron. Colloquium Comput. Complex., (2018)Irreducible subcube partitions., , , , , , und . CoRR, (2022)Proving Unsatisfiability with Hitting Formulas., , , , und . CoRR, (2023)Hardness of Approximation in PSPACE and Separation Results for Pebble Games., , , und . CoRR, (2023)Limits of CDCL Learning via Merge Resolution., , , , und . SAT, Volume 271 von LIPIcs, Seite 27:1-27:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers., , , , und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 233-249. Springer, (2020)How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity)., , und . Electron. Colloquium Comput. Complex., (2021)