Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units

DOI10.1007/978-3-319-68167-2_13zbMath1495.68150OpenAlexW2757315224MaRDI QIDQ5096082

Susanna Donatelli, Elvio Gilberto Amparore, Marco Beccuti

Publication date: 12 August 2022

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2318/1663781

zbMATH Keywords

Petri netsvariable orderingdecision diagrams

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

Metaheuristic algorithms for the bandwidth reduction of large-scale matrices ⋮ Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account ⋮ A decision diagram operation for reachability

This page was built for publication: Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units