delta-decision stuff
Merge branch 'master' of https://github.com/dreal/paper
space saving
space saving
update results
table clean-up
bib clean-up
fix
various fixes
rename to tai
update
space saving
param id problem in Sect 2
conclusions
space saving
more space save
BCF model in appendix
about complexity
typo
fix errors in results