( en | de | ru )

 

Disambiguierung von "Vinyals, Marc"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hard Examples for Common Variable Decision Heuristics.

. AAAI, Seite 1652-1659. AAAI Press, (2020)

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)

Hans-Peter Marchal

Erna Marcus

 

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)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)Proving Unsatisfiability with Hitting Formulas., , , , und . CoRR, (2023)Irreducible Subcube Partitions., , , , , , und . Electron. J. Comb., (2023)Simplified and Improved Separations Between Regular and General Resolution by Lifting., , , und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 182-200. Springer, (2020)MaxSAT Resolution and Subcube Sums., , , und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 295-311. Springer, (2020)How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity)., , und . Electron. Colloquium Comput. Complex., (2021)