An Improved Algorithm for Sparse Instances of SAT

Read full text
Authors: Sanjay K. Jain, Tzeh Yuan Neoh, Frank Stephan
Cited by: 0

Fields of Study & Subjects

Advanced Database Systems and Queries Constraint Satisfaction and Optimization

Publication details

Journal / source
SSRN Electronic Journal
Publication date
1 January 2026
Language
EN
Document type
Preprint