Zhongcheng Li

IEEE J. Sel. Areas Commun., 2018

Loop-Free Rerouting of Multiple Policies With Overlaps.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2018

Trust Function Based Spinal Codes over the Mobile Fading Channel between UAVs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Communications Conference, 2018

2017

Link scheduling for throughput maximization in multihop wireless networks under physical interference.

[BibT_eX]

[DOI]

Wirel. Networks, 2017

A Truthful Incentive Mechanism for Online Recruitment in Mobile Crowd Sensing System.

[BibT_eX]

[DOI]

Sensors, 2017

Modeling and performance analysis of RI-MAC under a star topology.

[BibT_eX]

[DOI]

Comput. Commun., 2017

2016

Joint Traffic Splitting, Rate Control, Routing, and Scheduling Algorithm for Maximizing Network Utility in Wireless Mesh Networks.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2016

Adaptive Path Isolation for Elephant and Mice Flows by Exploiting Path Diversity in Datacenters.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2016

Improving consolidation of virtual machine based on virtual switching overhead estimation.

[BibT_eX]

[DOI]

Mingfu Li

J. Netw. Comput. Appl., 2016

Stackelberg Game Based Incentive Mechanism for Data Transmission in Mobile Opportunistic Networks.

[BibT_eX]

[DOI]

Proceedings of the Wireless Algorithms, Systems, and Applications, 2016

Limited space oriented optimized storage protocol in autonomous mobile cloud.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Multipath Bandwidth Guarantees for Multi-Tenant Cloud Networking.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Local Computer Networks, 2016

2015

Cross-layer design with optimal dynamic gateway selection for wireless mesh networks.

[BibT_eX]

[DOI]

Comput. Commun., 2015

A thorough analysis of the performance of delay distribution models for IEEE 802.11 DCF.

[BibT_eX]

[DOI]

Ad Hoc Networks, 2015

Signpost: Scalable MU-MIMO Signaling with Zero CSI Feedback.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2015

ELDA: Towards efficient and lightweight detection of cache pollution attacks in NDN.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Conference on Local Computer Networks, 2015

Differential spread strategy: An incentive for advertisement dissemination.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015

2014

Throughput Optimizing Localized Link Scheduling for Multihop Wireless Networks under Physical Interference Model.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2014

Mobility-Assisted Routing in Intermittently Connected Mobile Cognitive Radio Networks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2014

A Node-Link-Based P2P Cache Deployment Algorithm in ISP Networks.

[BibT_eX]

[DOI]

Comput. J., 2014

TOHIP: A topology-hiding multipath routing protocol in mobile ad hoc networks.

[BibT_eX]

[DOI]

Ad Hoc Networks, 2014

Freeway: Adaptively Isolating the Elephant and Mice Flows on Different Transmission Paths.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

Almost Optimal Channel Access in Multi-Hop Networks with Unknown Channel Variables.

[BibT_eX]

[DOI]

Proceedings of the IEEE 34th International Conference on Distributed Computing Systems, 2014

CRCache: Exploiting the correlation between content popularity and network topology information for ICN caching.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2014

Partner-recruitment: Incentive mechanism for content offloading.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2014

Virtual-Switching-Aware VM Consolidation in Virtualized Data Centers.

[BibT_eX]

[DOI]

Mingfu Li

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

2013

QoS provisioning wireless multimedia transmission over cognitive radio networks.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2013

Opportunistic Routing in Intermittently Connected Mobile P2P Networks.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2013

A compensation model of cooperative downloading for vehicular network.

[BibT_eX]

[DOI]

Trans. Emerg. Telecommun. Technol., 2013

Almost Optimal Channel Access in Multi-Hop Networks With Unknown Channel Variables.

[BibT_eX]

[DOI]

CoRR, 2013

Multiple-tree topology construction scheme for P2P live streaming systems under flash crowds.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

Delay distribution of IEEE802.11 DCF: a comparative studyunder saturated conditions.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, 2013

FEDCVS: A fair and efficient scheduling scheme for dynamic cooperative video streaming on smartphones.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Global Communications Conference, 2013

2012

Cross-Layer Design for Proportional Delay Differentiation and Network Utility Maximization in Multi-Hop Wireless Networks.

[BibT_eX]

[DOI]

IEEE Trans. Wirel. Commun., 2012

Modeling and Optimization of Medium Access in CSMA Wireless Networks with Topology Asymmetry.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2012

Link Scheduling for Throughput Maximization in Multihop Wireless Networks Under Physical Interference

[BibT_eX]

[DOI]

CoRR, 2012

HERO - A Home Based Routing in Pocket Switched Networks.

[BibT_eX]

[DOI]

Proceedings of the Wireless Algorithms, Systems, and Applications, 2012

Bandwidth-aware peer selection for P2P live streaming systems under flash crowds.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Performance Computing and Communications Conference, 2012

Distributed link scheduling for throughput maximization under physical interference model.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2012, Orlando, FL, USA, March 25-30, 2012, 2012

Design and performance study of a Topology-Hiding Multipath Routing protocol for mobile ad hoc networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2012, Orlando, FL, USA, March 25-30, 2012, 2012

Lazy caching: A novel proxy caching algorithm for peer-to-peer live streaming.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2012

DSRelay: A scheme of cooperative downloading based on dynamic slot.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2012

Unveiling the resource consumption overhead of virtual machine consolidation in data centers.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Global Communications Conference, 2012

2011

Churn-Resilient Protocol for Massive Data Dissemination in P2P Networks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2011

Towards Inferring Inter-Domain Routing Policies in ISP Networks.

[BibT_eX]

[DOI]

IEICE Trans. Commun., 2011

Low latency IP mobility management: protocol and analysis.

[BibT_eX]

[DOI]

EURASIP J. Wirel. Commun. Netw., 2011

Interference pair-based distributed spectrum allocation in wireless mesh networks with frequency-agile radios.

[BibT_eX]

[DOI]

Proceedings of the 8th Annual IEEE Communications Society Conference on Sensor, 2011

Exploiting the full potential of multi-AP diversity in centralized WLANs through back-pressure scheduling.

[BibT_eX]

[DOI]

Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

A power control mechanism for non-cooperative packet forwarding in ad hoc networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

How P2P live streaming systems scale quickly under a flash crowd?

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Performance Computing and Communications Conference, 2011

Spectrum Allocation for Distributed Throughput Maximization under Secondary Interference Constraints in Wireless Mesh Networks.

[BibT_eX]

[DOI]

Tong Shu

Proceedings of 20th International Conference on Computer Communications and Networks, 2011

A Full-Distributed Architecture for PoC Application in Data Packet Voice Communication.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Computer and Information Technology, 2011

2010

A novel hybrid probing technique for end-to-end available bandwidth estimation.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE Conference on Local Computer Networks, 2010

Application-layer bandwidth allocation algorithm for service differentiation in hybrid content distribution network.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

A Diagnosis-Based Soft Vertical Handoff Mechanism for TCP Performance Improvement.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Computer Communications and Networks, 2010

An Analysis of Resequencing Delay of Reliable Transmission Protocols over Multipath.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2010

PCLF: A Practical Cross-Layer Fast Handover Mechanism in IEEE 802.11 WLANs.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2010

Joint Variable Width Spectrum Allocation and Link Scheduling for Wireless Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2010

Asymmetric Double-Agents Architecture for Fast Handoff and Efficient Routing.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2010

2009

Fast and proximity-aware multi-source overlay multicast under heterogeneous environment.

[BibT_eX]

[DOI]

Comput. Commun., 2009

Network-layer soft vertical handoff schemes without packet reordering.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual IEEE Conference on Local Computer Networks, 2009

A performance evaluation model for RSS-based vertical handoff algorithms.

[BibT_eX]

[DOI]

Tong Shu

Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009

A Replica Placement Algorithm for Hybrid CDN-P2P Architecture.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Handover Latency of Predictive FMIPv6 in IEEE 802.11 WLANs: A Cross Layer Perspective.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Computer Communications and Networks, 2009

2008

Efficient and Scalable Consistency Maintenance for Heterogeneous Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Zhenyu Li

Gaogang Xie

IEEE Trans. Parallel Distributed Syst., 2008

Performance Analysis and Optimization of Handoff Algorithms in Heterogeneous Wireless Networks.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2008

SAP2P: Self-adaptive and Locality-aware P2P Membership Protocol for Heterogeneous Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th Euromicro International Conference on Parallel, 2008

Efficient Multi-source Data Dissemination in Peer-to-Peer Networks.

[BibT_eX]

[DOI]

Proceedings of the NETWORKING 2008, Ad Hoc and Sensor Networks, Wireless Networks, 2008

CPK-based fast authentication method in Mobile IPv6 networks.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Dynamic load balancing among multiple home agents for MIPv6.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Towards reliable and efficient data dissemination in heterogeneous peer-to-peer systems.

[BibT_eX]

[DOI]

Zhenyu Li

Gaogang Xie

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Efficient hierarchical content distribution using P2P technology.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Networks, 2008

Improving Chinese Internet's Resilience through Degree Rank Based Overlay Relays Placement.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2008

An Efficient Transmission Scheme with Limited Feedback in Multiuser MIMO Systems.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2008

RLM: Reliable and Locality-Aware Membership Protocol for Heterogeneous P2P Systems.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2008

A New Method for End-to-End Available Bandwidth Estimation.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

SHOP: An Integrated Scheme for SCTP Handover Optimization in Multihomed Environments.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

Trust-Based Fast Authentication for Mobile IPv6 Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

Performance Evaluation of Content Distribution in Hybrid CDN-P2P Network.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Future Generation Communication and Networking, 2008

DHT-Aid, Gossip-Based Heterogeneous Peer-to-Peer Membership Management.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

2007

An Efficient Handoff Decision Algorithm for Vertical Handoff Between WWAN and WLAN.

[BibT_eX]

[DOI]

Xiao-Bing Guo

J. Comput. Sci. Technol., 2007

Cross-layer optimization in ultra wideband networks.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2007

The Analysis of the Optimal Periodic Ranging Slot Number in IEEE 802.16 OFDMA Systems.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Wireless and Mobile Computing, 2007

Contention region allocation optimization in ieee 802.16 ofdma systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2007

A Novel Channel Assignment Algorithm for Multicast in Multi-radio Wireless Mesh Networks.

[BibT_eX]

[DOI]

Zhaoyin Yin

Mo Chen

Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

Locality-Aware Consistency Maintenance for Heterogeneous P2P Systems.

[BibT_eX]

[DOI]

Zhenyu Li

Gaogang Xie

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

A QoS Aware Eigenmode Based Power Allocation Scheme for MIMO-OFDM Multi-User Systems.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2007

2006

Joint routing and topology formation in multihop UWB networks.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2006

On estimating clock skew for one-way measurements.

[BibT_eX]

[DOI]

Comput. Commun., 2006

A New Method of Selecting Stable Paths in Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Sensor Networks, 2006

Design and Evaluation of Vertical Handoff Decision Algorithm in Heterogeneous Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Networks, 2006

Hierarchical Protocol Description and Test Genration Method for Mobile IPv6 Testing.

[BibT_eX]

[DOI]

Yujun Zhang

Proceedings of IEEE International Conference on Communications, 2006

Identity-based Hierarchical Access Authentication in Mobile IPv6 Networks.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2006

Improving Mobile Station Energy Efficiency in IEEE 802.16e WMAN by Burst Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

Performance Evaluation of Vertical Handoff Decision Algorithms in Heterogeneous Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

SAVA: A Novel Self-Adaptive Vertical Handoff Algorithm for Heterogeneous Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

Subcarrier Allocation for OFDMA Wireless Channels Using Lagrangian Relaxation Methods.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

2005

Optimal, and reliable communication in hypercubes using extended safety vectors.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2005

Performance evaluation. Of the beacon period contraction algorithm in UWB MBOA MAC.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2005

Movement detection delay analysis in mobile IP.

[BibT_eX]

[DOI]

Comput. Commun., 2005

Scaling Behavior of Internet Packet Delay Dynamics Based on Small-interval Measurements.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual IEEE Conference on Local Computer Networks (LCN 2005), 2005

Experiment and Analysis of Active Measurement for Packet Delay Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Networking and Mobile Computing, Third International Conference, 2005

Formal Description of Mobile IPv6 Protocol.

[BibT_eX]

[DOI]

Yujun Zhang

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

The regional movement model for hierarchical mobile IP.

[BibT_eX]

[DOI]

Qinglin Zhao

Li Feng

Comput. Commun., 2004

An On-Demand QoS Routing Protocol for Mobile Ad-Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop, 2004

IPV6 Conformance Testing: Theory and Practice.

[BibT_eX]

[DOI]

Yujun Zhang

Proceedings of the Proceedings 2004 International Test Conference (ITC 2004), 2004

Reliable Clock Skew Estimation Algorithm for one-way measurements.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2004

A New Movement Detection Scheme Based on Dynamic Region.

[BibT_eX]

Qinglin Zhao

Li Feng

Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

2003

Measuring the Internet Using Public Traceroute Servers.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual IEEE Conference on Local Computer Networks (LCN 2003), 2003

A New End-to-End Measurement Method for Estimating Available Bandwidth.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

An Approach to Distributed Collaboration Problem with Conflictive Tasks.

[BibT_eX]

[DOI]

Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

Measurement-Based Modeling with Adaptive Sampling.

[BibT_eX]

[DOI]

Proceedings of the 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003

2002

Clustering of behavioral phases in FSMs and its applications to VLSI test.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2002

Packet delay and packet loss in the Internet.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002

2001

The next generation Internet protocol and its test.

[BibT_eX]

[DOI]

Jun Tian

Proceedings of the IEEE International Conference on Communications, 2001

An RT-Level ATPG Based on Clustering of Circuit States.

[BibT_eX]

[DOI]

Proceedings of the 10th Asian Test Symposium (ATS 2001), 19-21 November 2001, Kyoto, Japan, 2001

2000

Reduction of Number of Paths to be Tested in Delay Testing.

[BibT_eX]

[DOI]

J. Electron. Test., 2000

Optimal Fault-Tolerant Routing in Hypercubes Using Extended Safety Vectors.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Parallel and Distributed Systems, 2000

1999

An analytical delay model.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1999

Fault-Tolerant Routing Algorithms Based on Optimal Path Matrices.

[BibT_eX]

[DOI]

Feng Gao

Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 1999

1998

IDDT Testing versus IDDQ Testing.

[BibT_eX]

[DOI]

J. Electron. Test., 1998

A New Low-Cost Method for Identifying Untestable Path Delay Faults.

[BibT_eX]

[DOI]

Robert K. Brayton

Proceedings of the 7th Asian Test Symposium (ATS '98), 2-4 December 1998, Singapore, 1998

Delay Testing with Double Observations.

[BibT_eX]

[DOI]

Proceedings of the 7th Asian Test Symposium (ATS '98), 2-4 December 1998, Singapore, 1998

1997

Path sensitization.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1997

Efficient Identification of Non-Robustly Untestable Path Delay Faults.

[BibT_eX]

[DOI]

Robert K. Brayton

Proceedings of the Proceedings IEEE International Test Conference 1997, 1997

Timed Binary Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

IDDT Testing.

[BibT_eX]

[DOI]

Proceedings of the 6th Asian Test Symposium (ATS '97), 17-18 November 1997, 1997

Memory Efficient ATPG for Path Delay Faults.

[BibT_eX]

[DOI]

Proceedings of the 6th Asian Test Symposium (ATS '97), 17-18 November 1997, 1997

1996

An Analytical Delay Model Based on Boolean Process.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on VLSI Design (VLSI Design 1996), 1996

Waveform Polynomial Manipulation Using Bdds.

[BibT_eX]

[DOI]

Proceedings of the 5th Asian Test Symposium (ATS '96), 1996

1995

Boolean process-an analytical approach to circuit representation (II).

[BibT_eX]

[DOI]

Proceedings of the 4th Asian Test Symposium (ATS '95), 1995

1994

Behavioral Design and Prototyping of a Fail-Safe System.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on VLSI Design, 1994

1993

Evaluation of test generation algorithms.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE VLSI Test Symposium (VTS'93), 1993

1986

Pseudo-Exhaustive Testing Strategy for Large Combinational Circuits.

[BibT_eX]