FINDING · EVALUATION

Splitting measurement data by individual URL and time granularity (day, week, month) is necessary for SAT solvability: coarser time granularity reduces solvability because censorship policies change and noise accumulates, producing unsolvable CNFs. The authors solved 34,298 CNFs in total, each averaging 43 clauses and 17.41ms to solve using an off-the-shelf SAT solver (picosat).

From 2017-cho-churnA Churn for the Better: Localizing Censorship using Network-level Path Churn and Network Tomography · §3.1, §4 · 2017 · Emerging Networking Experiments and Technologies

Implications

Tags

censors
generic
techniques
measurement-platform

Extracted by claude-sonnet-4-6 — review before relying.