Query learning of bounded-width OBDDs
From MaRDI portal
Publication:5915394
DOI10.1016/S0304-3975(99)00267-4zbMath0944.68157MaRDI QIDQ5915394
Publication date: 21 August 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (3)
Inferring Symbolic Automata ⋮ Testing computability by width-two OBDDs ⋮ An efficient query learning algorithm for ordered binary decision diagrams
Cites Work
This page was built for publication: Query learning of bounded-width OBDDs