Marc Vinyals
Marc Vinyals
Bestätigte E-Mail-Adresse bei cs.technion.ac.il - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Towards an understanding of polynomial calculus: New separations and lower bounds
Y Filmus, M Lauria, M Mikša, J Nordström, M Vinyals
International Colloquium on Automata, Languages, and Programming, 437-448, 2013
262013
From small space to small width in resolution
Y Filmus, M Lauria, M Mikša, J Nordström, M Vinyals
ACM Transactions on Computational Logic (TOCL) 16 (4), 1-15, 2015
242015
How limited interaction hinders real communication (and what it means for proof and circuit complexity)
SF De Rezende, J Nordström, M Vinyals
2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS …, 2016
222016
CNFgen: A generator of crafted benchmarks
M Lauria, J Elffers, J Nordström, M Vinyals
International Conference on Theory and Applications of Satisfiability …, 2017
192017
In between resolution and cutting planes: A study of proof systems for pseudo-Boolean SAT solving
M Vinyals, J Elffers, J Giráldez-Cru, S Gocht, J Nordström
International Conference on Theory and Applications of Satisfiability …, 2018
182018
Hardness of approximation in PSPACE and separation results for pebble games
SM Chan, M Lauria, J Nordstrom, M Vinyals
2015 IEEE 56th Annual Symposium on Foundations of Computer Science, 466-485, 2015
182015
Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers
J Elffers, J Giráldez-Cru, J Nordström, M Vinyals
International Conference on Theory and Applications of Satisfiability …, 2018
142018
Trade-offs between time and memory in a tighter model of CDCL SAT solvers
J Elffers, J Johannsen, M Lauria, T Magnard, J Nordström, M Vinyals
International Conference on Theory and Applications of Satisfiability …, 2016
112016
Cumulative space in black-white pebbling and resolution
JF Alwen, S De Rezende, J Nordstrom, M Vinyals
102017
Hard examples for common variable decision heuristics
M Vinyals
Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1652-1659, 2020
72020
Lifting with simple gadgets and applications to circuit and proof complexity
SF de Rezende, O Meir, J Nordström, T Pitassi, R Robere, M Vinyals
arXiv preprint arXiv:2001.02144, 2020
42020
Towards a Complexity-theoretic Understanding of Restarts in SAT solvers
C Li, N Fleming, M Vinyals, T Pitassi, V Ganesh
International Conference on Theory and Applications of Satisfiability …, 2020
22020
Equality alone does not simulate randomness
A Chattopadhyay, S Lovett, M Vinyals
34th Computational Complexity Conference (CCC 2019), 2019
22019
Complexity Measures on the Symmetric Group and Beyond
N Dafni, Y Filmus, N Lifshitz, N Lindzey, M Vinyals
arXiv preprint arXiv:2010.07405, 2020
12020
Simplified and Improved Separations Between Regular and General Resolution by Lifting
M Vinyals, J Elffers, J Johannsen, J Nordström
International Conference on Theory and Applications of Satisfiability …, 2020
12020
Space in Proof Complexity
M Vinyals
KTH Royal Institute of Technology, 2017
12017
On the Hierarchical Community Structure of Practical SAT Formulas
C Li, J Chung, S Mukherjee, M Vinyals, N Fleming, A Kolokolova, A Mu, ...
arXiv preprint arXiv:2103.14992, 2021
2021
Complexity measures on symmetric group and beyond
Y Filmus, N Lifshitz, N Lindzey, M Vinyals
2020
MaxSAT Resolution and Subcube Sums
Y Filmus, M Mahajan, G Sood, M Vinyals
International Conference on Theory and Applications of Satisfiability …, 2020
2020
Lifting with simple gadgets and applications to circuit and proof complexity
O Meir, J Nördstrom, T Pitassi, R Robere, SF de Rezende, M Vinyals
Electronic colloquium on computational complexity 26 (186), 2020
2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20