An artificial neural network satisfiability tester

Tatiana Tambouratzis. An artificial neural network satisfiability tester. Int. J. Intell. Syst., 16(12):1357-1375, 2001.

Abstract

Abstract is missing.