Lucas Bordeaux, João Marques-Silva: Knowledge Compilation with Empowerment. SOFSEM 2012: 612-624