Learn More
The paper addresses the problem of synthesizing programs using a restricted set of input-output data. The program to be synthesized consists of assigning to individual Boolean variables x , the result of evaluating functions involving other Boolean variables x. The program can be initially viewed as a black box having n inputs corresponding to the variables(More)