Practically Feasible Proof Logging for Pseudo-Boolean Optimization.

Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan, Marc Vinyals

Browse the full CP paper archive.