Local Autarkies Searching for the Dynamic Partition of CNF Formulae

Éric Grégoire, Bertrand Mazure, Lakhdar Sais. Local Autarkies Searching for the Dynamic Partition of CNF Formulae. In ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence, Newark, New Jersey, USA, 2-4 November 2009. pages 107-114, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.