research
∙
03/21/2023
An implicit function theorem for the stream calculus
In the context of the stream calculus, we present an Implicit Function T...
research
∙
07/11/2019
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
The problem of counting the number of models of a given Boolean formula ...
research
∙
10/23/2017