250 followers Constraints Journal @constraints_cp Solving strong controllability of temporal problems with uncertainty using #SMT http://t.co/lzKAaBhZ9y #sat 19 Jan 2015 Reply Repost Favourite