most citedEquivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting

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

collaborators
Showing cs.DSShow all

1 paper · 1 filter

cs.DS2026

The Compilability Thresholds of 2-CNF to OBDD

Alexis de Colnet, Alfons Laarman, Joon Hyung Lee

We prove the existence of two thresholds regarding the compilability of random 2-CNF formulas to OBDDs. The formulas are drawn from , the uniform distribution…