10.17637/rh.7277324.v1 Matthew Hague Matthew Hague Anthony Widjaja Lin Anthony Widjaja Lin Chih-Duo Hong Chih-Duo Hong Data and Source Code for Sat CSS Royal Holloway, University of London 2018 Cascading Style Sheets Web-optimisation Semantics Max-SAT Applied Computer Science Theoretical Computer Science 2018-12-06 07:58:58 Software 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>