Pebble Minimization of Polyregular Functions

DOI10.1145/3373718.3394804OpenAlexW3032416319MaRDI QIDQ5145674FDOQ5145674

Authors: Nathan Lhote 

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2006.16645

Recommendations

• Minimizing Piecewise-Concave Functions Over Polyhedra
• A regularized decomposition method for minimizing a sum of polyhedral functions
• scientific article; zbMATH DE number 4037615
• A Descent Algorithm for Minimizing Polyhedral Convex Functions
• scientific article; zbMATH DE number 4056420
• scientific article; zbMATH DE number 4094251
• Minimizing convex functions with bounded perturbations
• Equality-constrained minimization of polynomial functions
• Minimizing polynomial functions
• scientific article; zbMATH DE number 1984325

zbMATH Keywords

minimizationpebble transducerspolyregular functionsMSO interpretations

Mathematics Subject Classification ID

Computer science (68-XX)

Cited In (4)

• Register Transducers Are Marble Transducers
• Pebble-depth
• Pebble minimization: the last theorems
• Transducers of polynomial growth

This page was built for publication: Pebble Minimization of Polyregular Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145674)