Collaborated with:
D.Fried M.Y.Vardi
Talks about:
synthesi (1) function (1) boolean (1) base (1) bdd (1)
Person: Lucas M. Tabajara
DBLP: Tabajara:Lucas_M=
Contributed to:
Wrote 1 papers:
- CAV-2016-FriedTV #functional #synthesis
- BDD-Based Boolean Functional Synthesis (DF, LMT, MYV), pp. 402–421.