MDDs boost equation solving on discrete dynamical systems

DOI10.1007/978-3-030-78230-6_13MaRDI QIDQ2117218zbMATH OpenOpenAlexFDO

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

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

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

Cites work

• scientific article; zbMATH DE number 44282 (Why is no real title available?)
• scientific article; zbMATH DE number 1946853 (Why is no real title available?)
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• Binary Decision Diagrams
• Decision diagrams for optimization
• MDD propagation for sequence constraints
• Polynomial Equations over Finite, Discrete-Time Dynamical Systems

Cited in

(2)

• Roots in the semiring of finite deterministic dynamical systems
• Decomposition and factorisation of transients in functional graphs

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

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