Change Propagation of View Models by Logic Synthesis using SAT solvers.

Oszkár Semeráth Csaba Debreceni Ákos Horváth Dániel Varró

Published in: Bx@ETAPS (2016)

Keyphrases

sat solvers
logic synthesis
search algorithm
search space
probabilistic model
low cost
information retrieval systems
orders of magnitude
max sat