PDF:
Change Propagation of View Models by Logic Synthesis Using SAT Solvers
| Title | Change Propagation of View Models by Logic Synthesis Using SAT Solvers |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Semeráth, O., Debreceni, C., Horváth, Á., and Varró, D. |
| Conference Name | Fifth International Workshop on Bidirectional Transformations (Bx 2016) |
| Date Published | 04/2016 |
| Conference Location | Eindhoven, The Netherlands |
