SATISFIABILITY OF ELASTIC DEMAND IN THE SMART GRID Jean-Yves Le Boudec, Dan-Cristian Tomozei EPFL May 26, 2011 1.
