A new fitness function for discovering a lot of satisfiable solutions in constraint satisfaction problems | IEEE Conference Publication | IEEE Xplore