BNSynth: Bounded Boolean Functional Synthesis.

Ravi Raja Stanly Samuel Chiranjib Bhattacharyya Deepak D'Souza Aditya Kanade

Published in: CoRR (2022)

Keyphrases

real valued
case study
truth table
real time
data sets
databases
computer vision
lower bound
multi valued
program synthesis
functional properties
functional programs
functional verification