44 citations · 46 across the 7 of their papers we have counts for
1 paper · 1 filter
Yamin Hu, Wenjian Luo, Junteng Wang
It is crucial to generate crafted SAT formulas with predefined solutions for the testing and development of SAT solvers since many SAT formulas from real-world applications have so…