Information & Computation | Clay Millennium Problems | Constraint Satisfaction and Computational Search | Mathematics | Research Papers
A Coherence Field Approach to SAT: Linear-Scale Defect Structure and Clause-Centered Repair
Internal ID: CGI-RSR-000002 | We study a coherence-based dynamical representation of Boolean satisfiability in which clauses induce local pressures that generate a field over variables, and assignments evolve by aligning with this field.