Abstract: In this paper, electromagnetic performances of radial-flux dual-rotor (DR) fractional-slot concentrated-winding permanent magnet (PM) machines with series and parallel magnetic circuits are ...

Abstract: The exchange of learnt clauses is a key feature in parallel SAT solving. We present an approach based on a communication graph. Each solver thread corresponds to a node in this graph.