Marc Vinyals
Scholar

Marc Vinyals

Google Scholar ID: XCqQEiIAAAAJ
University of Auckland
Computational ComplexityProof Complexity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
513
 
H-index
15
 
i10-index
17
 
Publications
20
 
Co-authors
26
list available
Contact
No contact links provided.
Publications
2 items
Proofdoors and Efficiency of CDCL Solvers
2026
Cited
0
An Exponential Separation between Deterministic CDCL and DPLL Solvers
2026
Cited
0
Resume (English only)
Co-authors
26 total
Jakob Nordström
Jakob Nordström
University of Copenhagen and Lund University
Yuval Filmus
Yuval Filmus
Associate Professor, Technion
Massimo Lauria
Massimo Lauria
Sapienza - Università di Roma
Susanna F. de Rezende
Susanna F. de Rezende
Lund University
Vijay Ganesh
Vijay Ganesh
Professor, Georgia Institute of Technology, Atlanta, GA, USA
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8