Raihan H. Kibria. Evolving a Neural Net-Based Decision and Search Heuristic for DPLL SAT Solvers. In Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007. pages 765-770, IEEE, 2007. [doi]
Abstract is missing.