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>