Results 171 to 176 of about 56,491 (176)
Some of the next articles are maybe not open access.
BDD-Based Boolean Functional Synthesis
International Conference on Computer Aided Verification, 2016Dror Fried +2 more
semanticscholar +1 more source
BDD-Based Boolean Functional Synthesis
International Conference on Computer Aided Verification, 2016