Exploitation des nouvelles architectures multi coeurs pour la résolution de problèmes SAT

لمعلومات أكـثر أنقـر هنا