Albert Atserias, Massimo Lauria, Jakob Nordstrom, 2014 IEEE 29th Conference on Computational Complexity (CCC), 2014, 286
Stefan Dantchev, Barnaby Martin, “Relativization makes contradictions harder for Resolution”, Annals of Pure and Applied Logic, 165:3 (2014), 837
Olaf Beyersdorff, Nicola Galesi, Massimo Lauria, “Parameterized Complexity of DPLL Search Procedures”, ACM Trans. Comput. Logic, 14:3 (2013), 1
Massimo Lauria, Pavel Pudlák, Vojtěch Rödl, Neil Thapen, Lecture Notes in Computer Science, 7965, Automata, Languages, and Programming, 2013, 684