共 50 条
- [23] 3-SAT using island-based genetic algorithm Mohammed, Salmah Mousbah Zeed (salmah.mousbah@gmail.com), 1694, Institute of Electrical Engineers of Japan (136): : 1694 - 1698
- [24] An evolutionary framework for 3-SAT problems ITI 2003: PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2003, : 471 - 476
- [30] The phase transition in 1-in-k SAT and NAE 3-SAT PROCEEDINGS OF THE TWELFTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2001, : 721 - 722