Sun Dec 8th through Sat the 14th, 2019 at Vancouver Convention Center
This submission was diligently evaluated, and the main problem that was identified was clarity. An additional expert reviewer was asked to checked the proofs. I am suggesting acceptance, given that the authors put a serious effort into rewriting. The reviewers did a great job in identifying where the improvements are needed, please do take advantage of that. Furthermore, for the final version, please take a look at this paper: https://link.springer.com/chapter/10.1007%2F978-3-319-46379-7_22 . The techniques used there could be relevant - please discuss this in the paper too.