A New Population-Based Method for Satisfiability Problems (1994)

by J K Hao, R Dorne
Venue:In Proc. of the 1th Eropean conf. on Artificial Intelligence