Research
Publications
Academic Resources
Software Tools
People
Contact
English
English
中文 (简体)
Jian Zhang
Latest
Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization
Cite
×