Local Autarkies Searching for the Dynamic Partition of CNF Formulae.

ric Grgoire, Bertrand Mazure, Lakhdar Sais

Browse the full ICTAI paper archive.