Kiarash Banihashem
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Complexity×1
Frequent co-authors
Research Timeline
2026
Quiet Planting for $k$-SAT, Multiple Solutions of Arbitrary Geometry
This paper proposes a method to construct quiet planting distributions for k-SAT formulas with an arbitrary number of solutions.
Highlighted terms show continued research focus across papers