On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1909.00408/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTOn-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers — mentioned by sktrdiehttps://news.ycombinator.com/item?id=22043280urn:hackerpapers:mention:1909.00408:22043280Tue, 14 Jan 2020 09:44:47 GMT<p>Very interesting insight! Indeed the authors are working (as of 2019) on making the sync points resolve based on constraint solvers: - https://arxiv.org/abs/1909.00408 - https://www.researchgate.net/publication/338358976_Executing... I am currently reading through your research and will sure get back to you about this.</p><p><a href="https://hackerpaper.kaipfister.de/p/1909.00408/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.SE