Marc Vinyals

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 32

Top Venues

CoRR

SAT

Electron. Colloquium Comput. Complex.

ITCS

Royal Institute of Technology, Stockholm, Sweden (PHD)

Education History

Royal Institute of Technology, Stockholm, Sweden

PHD

Publications

Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals
Proving Unsatisfiability with Hitting Formulas. ITCS (2024)
Marc Vinyals, Chunxiao (Ian) Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh
Limits of CDCL Learning via Merge Resolution. CoRR (2023)
Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals
Proving Unsatisfiability with Hitting Formulas. CoRR (2023)
Noah Fleming, Vijay Ganesh, Antonina Kolokolova, Chunxiao Li, Marc Vinyals
Limits of CDCL Learning via Merge Resolution. Electron. Colloquium Comput. Complex. (2023)
Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
MaxSAT Resolution and Subcube Sums. ACM Trans. Comput. Log. 24 (1) (2023)
Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals
Proving Unsatisfiability with Hitting Formulas. Electron. Colloquium Comput. Complex. (2023)
Siu Man Chan, Massimo Lauria, Jakob Nordström, Marc Vinyals
Hardness of Approximation in PSPACE and Separation Results for Pebble Games. CoRR (2023)
Marc Vinyals, Chunxiao Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh
Limits of CDCL Learning via Merge Resolution. SAT (2023)
Yuval Filmus, Edward A. Hirsch, Sascha Kurz, Ferdinand Ihringer, Artur Ryazanov, Alexander V. Smal, Marc Vinyals
Irreducible Subcube Partitions. Electron. J. Comb. 30 (3) (2023)
Yuval Filmus, Edward A. Hirsch, Sascha Kurz, Ferdinand Ihringer, Artur Riazanov, Alexander Smal, Marc Vinyals
Irreducible subcube partitions. CoRR (2022)
Neta Dafni, Yuval Filmus, Noam Lifshitz, Nathan Lindzey, Marc Vinyals
Complexity Measures on the Symmetric Group and Beyond (Extended Abstract). ITCS (2021)
Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh
On the Hierarchical Community Structure of Practical Boolean Formulas. SAT (2021)
Susanna F. de Rezende, Jakob Nordström, Marc Vinyals
How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity). Electron. Colloquium Comput. Complex. 28 (2021)
Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh
On the Hierarchical Community Structure of Practical SAT Formulas. CoRR (2021)
Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
MaxSAT Resolution and Subcube Sums. SAT (2020)
Susanna F. de Rezende, Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere, Marc Vinyals
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity. CoRR (2020)
Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh
Towards a Complexity-theoretic Understanding of Restarts in SAT solvers. CoRR (2020)
Marc Vinyals
Hard Examples for Common Variable Decision Heuristics. AAAI (2020)
Marc Vinyals, Jan Elffers, Jan Johannsen, Jakob Nordström
Simplified and Improved Separations Between Regular and General Resolution by Lifting. SAT (2020)
Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers. SAT (2020)
Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
MaxSAT Resolution and Subcube Sums. Electron. Colloquium Comput. Complex. 27 (2020)
Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
MaxSAT Resolution and Subcube Sums. CoRR (2020)
Susanna F. de Rezende, Or Meir, Jakob Nordström, Toniann Pitassi, Robert Robere, Marc Vinyals
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity. FOCS (2020)
Neta Dafni, Yuval Filmus, Noam Lifshitz, Nathan Lindzey, Marc Vinyals
Complexity Measures on the Symmetric Group and Beyond. CoRR (2020)
Arkadev Chattopadhyay, Shachar Lovett, Marc Vinyals
Equality Alone Does not Simulate Randomness. Computational Complexity Conference (2019)
Arkadev Chattopadhyay, Shachar Lovett, Marc Vinyals
Equality Alone Does Not Simulate Randomness. Electron. Colloquium Comput. Complex. 25 (2018)
Jan Elffers, Jesús Giráldez-Cru, Jakob Nordström, Marc Vinyals
Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers. SAT (2018)
Marc Vinyals, Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström
In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving. SAT (2018)
Joël Alwen, Susanna F. de Rezende, Jakob Nordström, Marc Vinyals
Cumulative Space in Black-White Pebbling and Resolution. ITCS (2017)
Massimo Lauria, Jan Elffers, Jakob Nordström, Marc Vinyals
CNFgen: A Generator of Crafted Benchmarks. SAT (2017)
Susanna F. de Rezende, Jakob Nordström, Marc Vinyals
How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity). FOCS (2016)
Jan Elffers, Jan Johannsen, Massimo Lauria, Thomas Magnard, Jakob Nordström, Marc Vinyals
Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers. SAT (2016)
Siu Man Chan, Massimo Lauria, Jakob Nordström, Marc Vinyals
Hardness of Approximation in PSPACE and Separation Results for Pebble Games. FOCS (2015)
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
From Small Space to Small Width in Resolution. ACM Trans. Comput. Log. 16 (4) (2015)
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
From Small Space to Small Width in Resolution. CoRR (2014)
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
From Small Space to Small Width in Resolution. Electron. Colloquium Comput. Complex. 21 (2014)
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
From Small Space to Small Width in Resolution. STACS (2014)
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds - (Extended Abstract). ICALP (1) (2013)

Marc Vinyals.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marc Vinyals