Deterministic Exponential Growth Analysis of 3-SAT Search with Applicability for Forest Resource Monitoring, Deforestation, and Carbon Measurement

20250 citationsJournal Articlegreen Open Access

Authors

Paltoo, Nigel Stafford · Guyana Forestry Commission

Abstract

This research paper presents a deterministic analysis of 3-SAT, providing mathematical and empirical evidence that P ≠ NP. It introduces the Green Straw method for clause classification, demonstrating practical applications in forest monitoring, carbon assessment, and environmental management, bridging theoretical computer science and real-world computational challenges.

Topics & Keywords

Constraint Satisfaction and Optimization Data Management and Algorithms Graph Theory and Algorithms

UN Sustainable Development Goals

Life in Land

Publication Details

Published in: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.17763291

Field-Weighted Citation Impact: 0.00