From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

On the Hierarchical Community Structure of Practical Boolean Formulas.

C. Li, J. Chung, S. Mukherjee, M. Vinyals, N. Fleming, A. Kolokolova, A. Mu, и V. Ganesh. SAT, том 12831 из Lecture Notes in Computer Science, стр. 359-376. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Marc Vinyals

Oriol Vinyals

Stefanie Marczoch

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

Caroline Marcon

Valerian Marcinkowski

Другие публикации лиц с тем же именем

Proving Unsatisfiability with Hitting Formulas.Y. Filmus, E. Hirsch, A. Riazanov, A. Smal, и M. Vinyals. ITCS, том 287 из LIPIcs, стр. 48:1-48:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity.S. de Rezende, O. Meir, J. Nordström, T. Pitassi, R. Robere, и M. Vinyals. FOCS, стр. 24-30. IEEE, (2020)Hard Examples for Common Variable Decision Heuristics.M. Vinyals. AAAI, стр. 1652-1659. AAAI Press, (2020)Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers.C. Li, N. Fleming, M. Vinyals, T. Pitassi, и V. Ganesh. SAT, том 12178 из Lecture Notes in Computer Science, стр. 233-249. Springer, (2020)Limits of CDCL Learning via Merge Resolution.M. Vinyals, C. Li, N. Fleming, A. Kolokolova, и V. Ganesh. SAT, том 271 из LIPIcs, стр. 27:1-27:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Proving Unsatisfiability with Hitting Formulas.Y. Filmus, E. Hirsch, A. Riazanov, A. Smal, и M. Vinyals. CoRR, (2023)Irreducible subcube partitions.Y. Filmus, E. Hirsch, S. Kurz, F. Ihringer, A. Riazanov, A. Smal, и M. Vinyals. CoRR, (2022)Hardness of Approximation in PSPACE and Separation Results for Pebble Games.S. Chan, M. Lauria, J. Nordström, и M. Vinyals. CoRR, (2023)Equality Alone Does Not Simulate Randomness.A. Chattopadhyay, S. Lovett, и M. Vinyals. Electron. Colloquium Comput. Complex., (2018)On the Hierarchical Community Structure of Practical SAT Formulas.C. Li, J. Chung, S. Mukherjee, M. Vinyals, N. Fleming, A. Kolokolova, A. Mu, и V. Ganesh. CoRR, (2021)

BibSonomy

Disambiguation