[CS Colloquium] S Akshay | Functional Synthesis
Title: Tractable Representations for Automated Functional Synthesis Abstract: It is often easy to write down the specification of a […]
Other links:
Other links:
Title: Tractable Representations for Automated Functional Synthesis Abstract: It is often easy to write down the specification of a […]