Boolean Rewriting Strikes Back: Reconvergence-Driven Windowing Meets Resynthesis.

Heinz Riener Siang-Yun Lee Alan Mishchenko Giovanni De Micheli

Published in: ASP-DAC (2022)

Keyphrases

data driven
boolean functions
real valued
multi agent
database
machine learning
e learning
case study
relational databases
rewrite rules
rewriting rules