polynomial time summary statistics for a generalization of maxsat published presentations and documents on DocSlides.