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