We have developed efficient parameterized algorithms for the enumeration...
Template-based synthesis, also known as sketching, is a localized approa...
Lascoux polynomials have been recently introduced to prove polynomiality...
We introduce the package GraphicalModelsMLE for computing the maximum
li...