Algorithm for Solving SAT in O(n) Code

Read full text
Authors: Kaoru Aguilera Katayama
Cited by: 0

Fields of Study & Subjects

Constraint Satisfaction and Optimization Complexity and Algorithms in Graphs Advanced Graph Theory Research

Publication details

Journal / source
OSF Preprints (OSF Preprints)
Publication date
6 February 2026
Document type
Preprint