Marc Vinyals

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Limits of CDCL learning via merge resolution	2024-11-26	Paper
Irreducible subcube partitions The Electronic Journal of Combinatorics	2024-02-23	Paper
Proving Unsatisfiability with Hitting Formulas	2023-02-13	Paper
MaxSAT Resolution and Subcube Sums ACM Transactions on Computational Logic	2023-02-07	Paper
Equality alone does not simulate randomness	2022-07-27	Paper
On the hierarchical community structure of practical Boolean formulas (available as arXiv preprint)	2022-03-22	Paper
Simplified and improved separations between regular and general resolution by lifting	2021-04-07	Paper
Towards a complexity-theoretic understanding of restarts in SAT solvers (available as arXiv preprint)	2021-04-07	Paper
MaxSAT resolution and subcube sums (available as arXiv preprint)	2021-04-07	Paper
Complexity Measures on the Symmetric Group and Beyond	2020-10-14	Paper
Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers	2018-08-10	Paper
In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving	2018-08-10	Paper
Cumulative space in black-white pebbling and resolution	2018-05-03	Paper
From small space to small width in resolution ACM Transactions on Computational Logic	2017-07-12	Paper
From small space to small width in resolution (available as arXiv preprint)	2017-03-03	Paper
Trade-offs between time and memory in a tighter model of CDCL SAT solvers Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
Towards an understanding of polynomial calculus: new separations and lower bounds (extended abstract) Automata, Languages, and Programming	2013-08-06	Paper

Research outcomes over time

This page was built for person: Marc Vinyals