Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds - (Extended Abstract). - Yuval Filmus; Massimo Lauria; Mladen Miksa; Jakob Nordström; Marc Vinyals (ICALP (1), 2013)

From Small Space to Small Width in Resolution. - Yuval Filmus; Massimo Lauria; Mladen Miksa; Jakob Nordström; Marc Vinyals (Electron. Colloquium Comput. Complex., 2014)

Hardness of Approximation in PSPACE and Separation Results for Pebble Games. - Siu Man Chan; Massimo Lauria; Jakob Nordström; Marc Vinyals (FOCS, 2015)

Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers. - Jan Elffers; Jan Johannsen; Massimo Lauria; Thomas Magnard; Jakob Nordström; Marc Vinyals (SAT, 2016)

Cumulative Space in Black-White Pebbling and Resolution. - Joël Alwen; Susanna F. de Rezende; Jakob Nordström; Marc Vinyals (ITCS, 2017)

CNFgen: A Generator of Crafted Benchmarks. - Massimo Lauria; Jan Elffers; Jakob Nordström; Marc Vinyals (SAT, 2017)

Space in Proof Complexity. - Marc Vinyals (2017)

Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers. - Jan Elffers; Jesús Giráldez-Cru; Jakob Nordström; Marc Vinyals (SAT, 2018)

In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving. - Marc Vinyals; Jan Elffers; Jesús Giráldez-Cru; Stephan Gocht; Jakob Nordström (SAT, 2018)

Equality Alone Does Not Simulate Randomness. - Arkadev Chattopadhyay; Shachar Lovett; Marc Vinyals (Electron. Colloquium Comput. Complex., 2018)

Hard Examples for Common Variable Decision Heuristics. - Marc Vinyals (AAAI, 2020)

Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity. - Susanna F. de Rezende; Or Meir; Jakob Nordström; Toniann Pitassi; Robert Robere; Marc Vinyals (FOCS, 2020)

Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers. - Chunxiao Li 002; Noah Fleming; Marc Vinyals; Toniann Pitassi; Vijay Ganesh 001 (SAT, 2020)

Simplified and Improved Separations Between Regular and General Resolution by Lifting. - Marc Vinyals; Jan Elffers; Jan Johannsen; Jakob Nordström (SAT, 2020)

Complexity Measures on the Symmetric Group and Beyond. - Neta Dafni; Yuval Filmus; Noam Lifshitz; Nathan Lindzey; Marc Vinyals (CoRR, 2020)

MaxSAT Resolution and Subcube Sums. - Yuval Filmus; Meena Mahajan; Gaurav Sood 001; Marc Vinyals (Electron. Colloquium Comput. Complex., 2020)

Complexity Measures on the Symmetric Group and Beyond (Extended Abstract). - Neta Dafni; Yuval Filmus; Noam Lifshitz; Nathan Lindzey; Marc Vinyals (ITCS, 2021)

On the Hierarchical Community Structure of Practical Boolean Formulas. - Chunxiao Li 002; Jonathan Chung 003; Soham Mukherjee; Marc Vinyals; Noah Fleming; Antonina Kolokolova; Alice Mu; Vijay Ganesh 001 (SAT, 2021)

On the Hierarchical Community Structure of Practical SAT Formulas. - Chunxiao Li 002; Jonathan Chung 003; Soham Mukherjee; Marc Vinyals; Noah Fleming; Antonina Kolokolova; Alice Mu; Vijay Ganesh 001 (CoRR, 2021)

How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity). - Susanna F. de Rezende; Jakob Nordström; Marc Vinyals (Electron. Colloquium Comput. Complex., 2021)

Irreducible subcube partitions. - Yuval Filmus; Edward A. Hirsch; Sascha Kurz; Ferdinand Ihringer; Artur Riazanov; Alexander Smal; Marc Vinyals (CoRR, 2022)

Irreducible Subcube Partitions. - Yuval Filmus; Edward A. Hirsch; Sascha Kurz; Ferdinand Ihringer; Artur Ryazanov; Alexander V. Smal; Marc Vinyals (Electron. J. Comb., 2023)

Proving Unsatisfiability with Hitting Formulas. - Yuval Filmus; Edward A. Hirsch; Artur Riazanov; Alexander Smal; Marc Vinyals (Electron. Colloquium Comput. Complex., 2023)

Limits of CDCL Learning via Merge Resolution. - Noah Fleming; Vijay Ganesh 001; Antonina Kolokolova; Chunxiao Li 002; Marc Vinyals (Electron. Colloquium Comput. Complex., 2023)

Lifting with Colourful Sunflowers. - Susanna F. de Rezende; Marc Vinyals (CCC, 2025)

Practically Feasible Proof Logging for Pseudo-Boolean Optimization. - Wietze Koops; Daniel Le Berre; Magnus O. Myreen; Jakob Nordström; Andy Oertel; Yong Kiam Tan; Marc Vinyals (CP, 2025)