An Empirical Comparison of Two Evolutionary Methods for Satisfiability Problems.

Jin-Kao Hao, Raphal Dorne

Browse the full ICEC paper archive.