Marc Vinyals - RankMe

44 papers A* 4A 16Journal 22Unranked 1

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