End-to-End Certified Graph Colouring.

Simon Dold, George Katsirelos, Wietze Koops, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan

Browse the full CP paper archive.