Analysis of cyclic fault propagation via ASP

DOI10.1007/978-3-031-15707-3_36OpenAlexW4293179420MaRDI QIDQ2694609

Alessandro Cimatti, Martin Jonáš, Greg Kimberly, Alberto Griggio, Marco Bozzano

Publication date: 4 April 2023

Full work available at URL: https://doi.org/10.1007/978-3-031-15707-3_36

zbMATH Keywords

minimal modelsSMTfault propagationASP modulo acyclicity

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Uses Software

• MathSAT5
• Clingo

Cites Work

• Solving satisfiability problems with preferences
• Answer Set Programming Modulo Acyclicity*
• The MathSAT5 SMT Solver

This page was built for publication: Analysis of cyclic fault propagation via ASP