×

zbMATH — the first resource for mathematics

Vinyals, Marc

Compute Distance To:
Author ID: vinyals.marc Recent zbMATH articles by "Vinyals, Marc"
Published as: Vinyals, Marc
Documents Indexed: 11 Publications since 2013

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 23 times in 21 Documents Cited by Year
Towards an understanding of polynomial calculus: new separations and lower bounds (extended abstract). Zbl 1336.03065
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc
11
2013
From small space to small width in resolution. Zbl 1359.03042
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc
3
2014
Cumulative space in black-white pebbling and resolution. Zbl 1402.68079
Alwen, Joël; de Rezende, Susanna F.; Nordström, Jakob; Vinyals, Marc
2
2017
From small space to small width in resolution. Zbl 1367.03105
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc
2
2015
CNFgen: a generator of crafted benchmarks. Zbl 06807244
Lauria, Massimo; Elffers, Jan; Nordström, Jakob; Vinyals, Marc
2
2017
Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers. Zbl 06916300
Elffers, Jan; Giráldez-Cru, Jesús; Nordström, Jakob; Vinyals, Marc
1
2018
In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving. Zbl 06916313
Vinyals, Marc; Elffers, Jan; Giráldez-Cru, Jesús; Gocht, Stephan; Nordström, Jakob
1
2018
Trade-offs between time and memory in a tighter model of CDCL SAT solvers. Zbl 06623511
Elffers, Jan; Johannsen, Jan; Lauria, Massimo; Magnard, Thomas; Nordström, Jakob; Vinyals, Marc
1
2016
Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers. Zbl 06916300
Elffers, Jan; Giráldez-Cru, Jesús; Nordström, Jakob; Vinyals, Marc
1
2018
In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving. Zbl 06916313
Vinyals, Marc; Elffers, Jan; Giráldez-Cru, Jesús; Gocht, Stephan; Nordström, Jakob
1
2018
Cumulative space in black-white pebbling and resolution. Zbl 1402.68079
Alwen, Joël; de Rezende, Susanna F.; Nordström, Jakob; Vinyals, Marc
2
2017
CNFgen: a generator of crafted benchmarks. Zbl 06807244
Lauria, Massimo; Elffers, Jan; Nordström, Jakob; Vinyals, Marc
2
2017
Trade-offs between time and memory in a tighter model of CDCL SAT solvers. Zbl 06623511
Elffers, Jan; Johannsen, Jan; Lauria, Massimo; Magnard, Thomas; Nordström, Jakob; Vinyals, Marc
1
2016
From small space to small width in resolution. Zbl 1367.03105
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc
2
2015
From small space to small width in resolution. Zbl 1359.03042
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc
3
2014
Towards an understanding of polynomial calculus: new separations and lower bounds (extended abstract). Zbl 1336.03065
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc
11
2013

Citations by Year