activity
20072023
most citedScalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses

4 citations · 9 across the 4 of their papers we have counts for

collaborators
Showing cs.ITShow all

1 paper · 1 filter

cs.IT2007★ 1 cited

Two sources are better than one for increasing the Kolmogorov complexity of infinite sequences

Marius Zimand

The randomness rate of an infinite binary sequence is characterized by the sequence of ratios between the Kolmogorov complexity and the length of the initial segments of the sequen…