Lazy regular sensing

DOI10.1007/978-3-031-13257-5_12OpenAlexW4302067388MaRDI QIDQ2112190

Orna Kupferman, Asaf Petruschka

Publication date: 18 January 2023

Full work available at URL: https://doi.org/10.1007/978-3-031-13257-5_12

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Lazy regular sensing

Cites Work

• Unnamed Item
• Symbolic model checking: \(10^{20}\) states and beyond
• Optimization of Boolean Expressions-Historical Developments
• Compressed sensing

This page was built for publication: Lazy regular sensing