"4-cop-win graphs have at least 19 vertices."

Jérémie Turcotte, Samuel Yvon (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics