Boolean Functional Synthesis: From Under the Hood of Solvers.

Supratik Chakraborty

Published in: ICLA (2023)

Keyphrases

boolean functions
real valued
program synthesis
computer vision
multi agent
databases
information systems
image processing
sat solvers
highly optimized