1 citations · 1 across the 3 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023
Explaining SAT Solving Using Causal Reasoning
Jiong Yang, Arijit Shaw, Teodora Baluta +2
The past three decades have witnessed notable success in designing efficient SAT solvers, with modern solvers capable of solving industrial benchmarks containing millions of variab…
cs.AI2023
Rounding Meets Approximate Model Counting
Jiong Yang, Kuldeep S. Meel
The problem of model counting, also known as #SAT, is to compute the number of models or satisfying assignments of a given Boolean formula . Model counting is a fundamental prob…