1 citations · 2 across the 3 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Functional Synthesis via Input-Output Separation
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara +1
Boolean functional synthesis is the process of constructing a Boolean function from a Boolean specification that relates input and output variables. Despite significant recent deve…
cs.DS2018
An optimal approximation of discrete random variables with respect to the Kolmogorov distance
Liat Cohen, Dror Fried, Gera Weiss
We present an algorithm that takes a discrete random variable and a number and computes a random variable whose support (set of possible outcomes) is of size at most an…