Local Autarkies Searching for the Dynamic Partition of CNF Formulae | IEEE Conference Publication | IEEE Xplore