190 citations
- Shanghai Jiao Tong UniversityCN11 papers
- Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)DE7 papers
- Chinese Academy of SciencesCN6 papers
- Fudan UniversityCN6 papers
- Max Planck Institute for Extraterrestrial PhysicsDE6 papers
- University of Science and Technology of ChinaCN5 papers
- Dalian University of TechnologyCN4 papers
- Embedded Systems (United States)US4 papers
- Heinrich Heine University DüsseldorfDE4 papers
- Soochow UniversityCN4 papers
- University of California, MercedUS4 papers
- Bengbu Medical CollegeCN3 papers
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016★ 2 cited
Improving abcdSAT by At-Least-One Recently Used Clause Management Strategy
Jingchao Chen
We improve further the 2015 version of abcdSAT by various heuristics such as at-least-one recently used strategy, learnt clause database approximation reduction etc. Based on the r…
cs.LO2016★ 1 cited
Improving SAT Solvers via Blocked Clause Decomposition
Jingchao Chen
The decision variable selection policy used by the most competitive CDCL (Conflict-Driven Clause Learning) SAT solvers is either VSIDS (Variable State Independent Decaying Sum) or…