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]

Authors

Éric Grégoire

This author has not been identified. Look up 'Éric Grégoire' in Google

Bertrand Mazure

This author has not been identified. Look up 'Bertrand Mazure' in Google

Lakhdar Sais

This author has not been identified. Look up 'Lakhdar Sais' in Google