Nexus_3SAT_F6__Algoritmo_de_Resolución_Determinista_para_Instancias_del_Problema_3SAT

This technical report presents Nexus-3SAT-F6, an experimental deterministic framework for the analysis and optimization of satisfiability problems based on a structured search strategy and ternary state representations. The document describes the mathematical formulation, algorithmic architecture, pseudocode, computational workflow, and experimental evaluation of the model. Reproducible benchmark analyses and convergence studies are included to assess the behavior of the proposed approach. This publication is intended for scientific dissemination, digital preservation, and intellectual priority registration. The report includes methodological descriptions, formal definitions, pseudocode, and experimental results necessary to understand the proposed framework. The Nexus-3SAT-F6 model was originally developed during 2025 and is protected by intellectual property registrations issued in Chile (DDI Software Registration No. 2025-A-12613 and Literary Work Registration No. 2025-A-12619, registered on December 10, 2025). This publication corresponds to the first public technical release of the methodology and associated experimental results. Author: Erick Fernando Rojas Rojas (Efeseis-F6)Affiliation: NexusLab Atacama SpAORCID: https://orcid.org/0009-0006-0763-7495