Just to sync
Merge branch 'master' of https://github.com/saeedzr/SSDBM2014

Conflicts:
	sig-alternate.log
	sig-alternate.pdf
	sig-alternate.synctex.gz