-
1تقرير
-
2تقرير
-
3تقرير
مصطلحات موضوعية: Computer Science - Computational Complexity, Mathematics - Logic, 03F20, F.2.2
URL الوصول: http://arxiv.org/abs/2302.06241
-
4رسالة جامعية
المؤلفون: Vinyals, Marc
مصطلحات موضوعية: proof complexity, resolution, polynomial calculus, cutting planes, space complexity, computational complexity, pebble games, communication complexity, CDCL
Degree: Diss. (sammanfattning) Stockholm : Kungliga Tekniska högskolan, 2017
-
5تقرير
المؤلفون: Filmus, Yuval, Hirsch, Edward, Kurz, Sascha, Ihringer, Ferdinand, Riazanov, Artur, Smal, Alexander, Vinyals, Marc
مصطلحات موضوعية: Mathematics - Combinatorics
URL الوصول: http://arxiv.org/abs/2212.14685
-
6مؤتمر
المؤلفون: de Rezende, Susanna, Meir, Or, Nordstrom, Jakob, Pitassi, Toniann, Robere, Robert, Vinyals, Marc
المصدر: 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS) FOCS Foundations of Computer Science (FOCS), 2020 IEEE 61st Annual Symposium on. :24-30 Nov, 2020
Relation: 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS)
-
7دورية أكاديمية
المؤلفون: Dalmau Vinyals, Marc
المصدر: Kesse: butlletí del Cercle d'Estudis Històrics i Socials Guillem Oliver; Núm. 50 (2018); p. 4-18
مصطلحات موضوعية: cementiri, parròquia, arquebisbat, món de la mort, Argilaga
وصف الملف: application/pdf
-
8دورية أكاديمية
المؤلفون: Dalmau Vinyals, Marc
المصدر: Recull de treballs; Núm. 18 (2017); p. 75-83
وصف الملف: application/pdf
-
9دورية أكاديمية
المؤلفون: Dalmau Vinyals, Marc
المصدر: Recull de treballs; Núm. 18 (2017); p. 59-73
وصف الملف: application/pdf
-
10دورية أكاديمية
المؤلفون: Dalmau Vinyals, Marc
المصدر: Estudis altafullencs; Núm. 39 (2015); p. 107-137
وصف الملف: application/pdf