https://www.cs.sfu.ca/research/groups/mxp/
http://fmv.jku.at/sat-race-2006/descriptions/28-mxc.pdf
View/edit source (Markdown)