Lazy regular sensing
From MaRDI portal
Publication:6175512
DOI10.1016/j.tcs.2023.114057MaRDI QIDQ6175512
Orna Kupferman, Asaf Petruschka
Publication date: 18 August 2023
Published in: Theoretical Computer Science (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Lazy regular sensing
- Property testing and its connection to learning and approximation
- Graph-Based Algorithms for Boolean Function Manipulation
- Improving the variable ordering of OBDDs is NP-complete
- Optimization of Boolean Expressions-Historical Developments
- Finding the optimal variable ordering for binary decision diagrams
- Compressed sensing
