Analysis of the Effectiveness of a New Composite Method Joining Features of Implicit and Modular Enumeration Algorithms | IEEE Conference Publication | IEEE Xplore