Summarizing big graphs by means of pseudo-boolean constraints. - Saïd Jabbour; Nizar Mhadhbi; Abdesattar Mhadhbi; Badran Raddaoui; Lakhdar Sais (IEEE BigData, 2016)