Peter Chini

activity

20162021

most citedFast Witness Counting

1 citations · 1 across the 2 of their papers we have counts for

collaborators

Showing 2018Show all

2 papers · 1 filter

cs.CC2018★ 1 cited

Fast Witness Counting

Peter Chini, Rehab Massoud, Roland Meyer +1

We study the witness-counting problem: given a set of vectors $V$ in the $d$ -dimensional vector space over $F_{2}$ , a target vector $t$ , and an integer $k$ , count all ways t…

cs.LO2018

Fine-Grained Complexity of Safety Verification

Peter Chini, Roland Meyer, Prakash Saivasan

We study the fine-grained complexity of Leader Contributor Reachability (LCR) and Bounded-Stage Reachability (BSR), two variants of the safety verification problem for shared memor…