Symbolic Simulation via SAT Solver with Variable Partition

This article has been removed: please see Elsevier Policy on Article Withdrawal (http://www.elsevier.com/locate/withdrawalpolicy).Further to an investigation the 2011 International Conference on Energy Systems and Electric Power (ESEP 2011), Energy Procedia, Volume 13 has been removed by the publisher due to insufficient assurances by the programme organisers that the professional ethical codes of publishing and standards were applied consistently. For author enquiries please contact: [email protected].