Change Propagation of View Models by Logic Synthesis using SAT solvers

Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró. Change Propagation of View Models by Logic Synthesis using SAT solvers. In Anthony Anjorin, Jeremy Gibbons, editors, Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016. Volume 1571 of CEUR Workshop Proceedings, pages 40-44, CEUR-WS.org, 2016. [doi]

Abstract

Abstract is missing.