[VMCAI'24] Function synthesis for maximizing model counting | ACM SIGPLAN | Podwise