Pubblicazioni

Depth Lower Bounds in Stabbing Planes for Combinatorial Principles

2022 - Leibniz International Proceedings in Informatics, LIPIcs
Dantchev, S.; Galesi, N.; Ghani, A.; Martin, B.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma