https://sites.google.com/site/marcthurley/sharpsat
http://www.ii.uib.no/~telle/bib/STV15.pdf
http://www.cs.toronto.edu/~fbacchus/Papers/DBaaai07.pdf
https://github.com/dfremont/maxcount