MDDs boost equation solving on discrete dynamical systems

DOI10.1007/978-3-030-78230-6_13OpenAlexW3173056761MaRDI QIDQ2117218

Jean-Charles Régin, Sara Riva, Enrico Formenti

Publication date: 21 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-78230-6_13

zbMATH Keywords

discrete dynamical systemsmulti-valued decision diagramsgraphs semiring

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Unnamed Item
• Unnamed Item
• Decision diagrams for optimization
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• Binary Decision Diagrams
• MDD Propagation for Sequence Constraints
• Polynomial Equations over Finite, Discrete-Time Dynamical Systems

This page was built for publication: MDDs boost equation solving on discrete dynamical systems