MDDs boost equation solving on discrete dynamical systems

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

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

• Title not available (Why is that?)
• An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
• Title not available (Why is that?)
• 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)