Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMath1180.68128OpenAlexW2739785336MaRDI QIDQ5899053

Neil Kettle, Andy King, Tadeusz Strzemecki

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11691372

zbMATH Keywords

approximationwideningabstract interpretationROBDD

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (2)

Connected Boolean functions with a locally extremal number of prime implicants ⋮ Inferring Congruence Equations Using SAT

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems