Data and Source Code for Sat CSS Matthew Hague Anthony Widjaja Lin Chih-Duo Hong 10.17637/rh.7277324.v1 https://royalholloway.figshare.com/articles/software/Data_and_Source_Code_for_Sat_CSS/7277324 Source code, benchmark data, disk image for SatCSS tool accompanying TOPLAS article "CSS Minification via Constraint Solving"<br> 2018-12-06 07:58:58 Cascading Style Sheets Web-optimisation Semantics Max-SAT Applied Computer Science Theoretical Computer Science