Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB.

Ciaran McCreesh, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan

Browse the full CP paper archive.