knowledge compilation representations and lower bounds paul beame published presentations and documents on DocSlides.