A SAT Solver Based on Truth Value Calculation

Research Square 2026 Preprint Open access

Read full text
Authors: Nongjian Zhou
DOI: 10.21203/rs.3.rs-8468445/v1
Cited by: 0

Fields of Study & Subjects

Constraint Satisfaction and Optimization Formal Methods in Verification Logic Reasoning and Knowledge

Publication details

Journal / source
Research Square
Publication date
4 February 2026
Document type
Preprint