22 citations · 38 across the 7 of their papers we have counts for
1 paper · 1 filter
Antoine Amarilli, Pierre Bourhis, Louis Jachiet +1
We study the problem of enumerating the satisfying valuations of a circuit while bounding the delay, i.e., the time needed to compute each successive valuation. We focus on the cla…