[IEEE 2016 IEEE Information Technology, Networking, Electronic and Automation Control Conference (ITNEC) - Chongqing, China (2016.5.20-2016.5.22)] 2016 IEEE Information Technology, Networking, Electronic and Automation Control Conference - A genetic-based local search method for SAT problem
Canisius, Gakiza, Wilson, Kalisa, Zhang, Yuzhang, Chenhui, Yang, Xin, HongYear:
2016
Language:
english
DOI:
10.1109/itnec.2016.7560401
File:
PDF, 352 KB
english, 2016