Despite all the progress made in the past two decades, a unifying theory of enumeration algorithms seems, by any reasonable metric, a distant milestone -- if achievable at all. In the mean time, we search for tools and inspiration in the slightly …
Pseudo-Boolean functions are real-valued mappings over the set of binary vectors, and it is well known that such functions admit unique multilinear polynomial representations over their variables. The problem of minimizing pseudo-Boolean functions …
Pseudo-Boolean functions are real-valued mappings over the set of binary vectors, and it is well known that such functions admit unique representations as multi linear polynomials over their variables. The problem of minimizing pseudo-Boolean …