Separation Between Walksat and DPLL

Lecture notes in computer science 2026

View at publisher

Authors: Tao Jiang, Shaowei Cai, Ziqun Li, Jiabao Lin, Yijia Chen

DOI: 10.1007/978-981-95-4839-2_8

Cited by: 0

References: 25

Fields of Study & Subjects

Constraint Satisfaction and Optimization Formal Methods in Verification AI-based Problem Solving and Planning

References 25