research
∙
03/23/2023
Parameterized Algorithms for Topological Indices in Chemistry
We have developed efficient parameterized algorithms for the enumeration...
share
research
∙
09/08/2022
Template-based Program Synthesis using Stellensätze
Template-based synthesis, also known as sketching, is a localized approa...
research
∙
06/24/2021
The leading coefficient of Lascoux polynomials
Lascoux polynomials have been recently introduced to prove polynomiality...
research
∙
12/21/2020