A New Population-Based Method for Satisfiability Problems.

Jin-Kao Hao, Raphal Dorne

Browse the full ECAI paper archive.