Anti-SAT solver

Open Science Framework 2026 Open access

Read full text
Authors: Kaoru Aguilera Katayama
DOI: 10.17605/osf.io/hbgm4
Cited by: 0

Fields of Study & Subjects

Chemistry and Stereochemistry Studies Distributed systems and fault tolerance Formal Methods in Verification

Publication details

Journal / source
Open Science Framework
Publication date
1 January 2026