Marc Vinyals

Lecturer, University of Auckland

Joined

March 2025

Names

Marc Vinyals (Preferred)

Emails

****@auckland.ac.nz (Confirmed)

,

****@gmail.com (Confirmed)

,

****@kth.se

,

****@tifr.res.in

,

****@technion.ac.il

Personal Links

Career & Education History

Lecturer

University of Auckland (auckland.ac.nz)

2023 – Present

Advisors, Relations & Conflicts

PhD Advisor

Jakob Nordström

2012 – 2017

Expertise

No areas of expertise listed

Publications

Proving Unsatisfiability with Hitting Formulas
Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals
- ITCS 2024
- Readers: Everyone
Hardness of Approximation in PSPACE and Separation Results for Pebble Games
Siu Man Chan, Massimo Lauria, Jakob Nordström, Marc Vinyals
- CoRR 2023
- Readers: Everyone
MaxSAT Resolution and Subcube Sums
Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
- ACM Trans. Comput. Log. 2023
- Readers: Everyone
Irreducible Subcube Partitions
Yuval Filmus, Edward A. Hirsch, Sascha Kurz, Ferdinand Ihringer, Artur Ryazanov, Alexander V. Smal, Marc Vinyals
- Electron. J. Comb. 2023
- Readers: Everyone
Limits of CDCL Learning via Merge Resolution
Marc Vinyals, Chunxiao Ian Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh
- Published: 01 Jan 2023, Last Modified: 29 Sept 2023
- CoRR 2023
- Readers: Everyone
Limits of CDCL Learning via Merge Resolution
Marc Vinyals, Chunxiao Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh
- Published: 01 Jan 2023, Last Modified: 29 Sept 2023
- SAT 2023
- Readers: Everyone
Limits of CDCL Learning via Merge Resolution
Noah Fleming, Vijay Ganesh, Antonina Kolokolova, Chunxiao Li, Marc Vinyals
- Published: 01 Jan 2023, Last Modified: 29 Sept 2023
- Electron. Colloquium Comput. Complex. 2023
- Readers: Everyone
Irreducible subcube partitions
Yuval Filmus, Edward A. Hirsch, Sascha Kurz, Ferdinand Ihringer, Artur Riazanov, Alexander Smal, Marc Vinyals
- CoRR 2022
- Readers: Everyone

View all 39 publications

Co-Authors

View all 37 co-authors