Deep Cooperation of CDCL and Local Search for SAT

von Cai, Shaowei
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)

Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search

von Cai, Shaowei
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

Local Search for SMT on Linear Integer Arithmetic

von Cai, Shaowei
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)