We assume your algorithm implementation has the folllowing signature: (prng, queries, epsilon, ...) (Pseudo-random generator, list of queries, privacy budget and extra arguments). Throughout your ...
Abstract: This paper proposes an automatic debugging method for single-electron transistor arrays. The method iteratively calls a SAT solver to find a counterexample and identify errors based on the ...
The result is returned in variable result, which is stored as [(epsilon, p, d1, d2, kwargs, event), (...)]. The detect_counterexample accepts multiple extra arguments to customize the process, check ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback