FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Boolean Synthesis via Decision Diagrams

Author: Lucas Martinelli Tabajara

Paper Information

Title:Boolean Synthesis via Decision Diagrams
Authors:Lucas Martinelli Tabajara
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Boolean synthesis, BDD, ZDD, Decision Diagrams
Pages:1
Talk:Jul 31 15:10 (Session 17)
Paper: