Finding Test Pairs for PDFs in Logic Circuits Based on Using Operations on ROBDDs
Crossref DOI link: https://doi.org/10.1007/s11182-018-1488-1
Published Online: 2018-09-15
Published Print: 2018-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Mатrosova, A. Yu.
Andreeva, V. V.
Nikolaeva, E. A.
Text and Data Mining valid from 2018-09-01
Article History
Received: 14 February 2018
First Online: 15 September 2018