Scholar
Marc Vinyals
Google Scholar ID: XCqQEiIAAAAJ
University of Auckland
Computational Complexity
Proof Complexity
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
513
H-index
15
i10-index
17
Publications
20
Co-authors
26
list available
Publications
2 items
Proofdoors and Efficiency of CDCL Solvers
2026
Cited
0
An Exponential Separation between Deterministic CDCL and DPLL Solvers
2026
Cited
0
Co-authors
12 total
Jakob Nordström
University of Copenhagen and Lund University
Yuval Filmus
Associate Professor, Technion
Massimo Lauria
Sapienza - Università di Roma
Susanna F. de Rezende
Lund University
Vijay Ganesh
Professor, Georgia Institute of Technology, Atlanta, GA, USA
Jesús Giráldez-Cru
Universidad de Granada
Noam Lifshitz
Senior lecturer, Einstein institute of Mathematics, Hebrew University of Jerusalem
Robert Robere
McGill University
