Evolving a neural net-based decision and search heuristic for DPLL SAT solvers

IEEE International Conference on Neural Networks - Conference Proceedings

Volumn , Issue , 2007, Pages 765-770

  Kibria, Raihan H ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BOOLEAN FUNCTIONS; COMPUTER NETWORKS; FORMAL LOGIC; HEURISTIC ALGORITHMS; HEURISTIC METHODS; HEURISTIC PROGRAMMING; INDUSTRIAL APPLICATIONS; LEARNING ALGORITHMS; PROBLEM SOLVING;

JOINT CONFERENCE; NEURAL NETS;

NEURAL NETWORKS;

EID: 51749122906     PISSN: 10987576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IJCNN.2007.4371054     Document Type: Conference Paper

References (7)

1. M. Davis, G. Logemann, D. Loveland: A machine program for theorem proving. Communications of the ACM, vol 5, 1962.
2. J. P. Marques-Silva, K. A. Sakallah: GRASP - A New Search Algorithm for Satisfiability. ICCAD. IEEE Computer Society Press, 1996.
3. K. Chellapilla, D. B. Fogel: Evolving Neural Networks to Play Checkers Without Relying on Expert Knowledge. IEEE Transactions on Neural Networks, Vol. 10, No. 6, November 1999.
4. M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, S. Malik: Chaff: Engineering an Efficient SAT Solver. Proc. of the 38th Design Automation Conference, 2001.
5. N. Een, N. Sörensson: An Extensible SAT-solver. SAT 2003. http://www.cs.chalmers.se/Cs/Research/FormalMethods/MiniSat/Main.html
6. SAT-Race 2006: http://fmv.jku.at/sat-race-2006/.
7. R. H. Kibria, Y. Li: Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers Using Genetic Programming. In proceedings of Genetic Programming: 9th European Conference, EuroGP 2006. LNCS 3905/2006, Springer Verlag. http://dx.doi.org/10.1007/11729976_30.