...
机译:Variable Ordering in Binary Decision Diagram Using Spider Monkey Optimization for Node and Path Length Optimization
Department of Electronics and CommunicationEngineering, Jamia Millia Islamia, New Delhi,110025,India;
Binary Decision Diagram; variable ordering; Boolean optimization; testing; Spider Monkey Optimization;