Description:Paradigms for using neural networks (NNs) and genetic algorithms (GAs) toheuristically solve boolean satisfiability (SAT) problems are presented. Resultsare presented for two-peak and false-peak SAT problems. Since SAT is NP-Complete,any other NP-Complete problem can be transformed into an equivalentSAT problem in polynomial time, and solved via either paradigm. This techniqueis illustrated for Hamiltonian circuit (HC) problems.