@inproceedings{VBE+4,
title = { Function Synthesis for Maximizing Model Counting },
author = {Vigouroux, Thomas and Bozga, Marius and Ene, Cristian and Mounier, Laurent},
year = {2024},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part {I}},
pages = {258--279},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {14499},
team = {axe_Pacs, RSD, PACSS},
}
