Function Synthesis for Maximizing Model Counting.

Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier

Browse the full VMCAI paper archive.