Pebble Minimization of Polyregular Functions

DOI10.1145/3373718.3394804MaRDI QIDQ5145674zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

minimizationpebble transducerspolyregular functionsMSO interpretations

Mathematics Subject Classification ID

Computer science (68-XX)

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

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)