Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers Using Genetic Programming. - Raihan H. Kibria; You Li (EuroGP, 2006)

Evolving a Neural Net-Based Decision and Search Heuristic for DPLL SAT Solvers. - Raihan H. Kibria (IJCNN, 2007)

Actin - Technical Report - Raihan H. Kibria (CoRR, 2007)

Soft computing approaches to DPLL SAT solver optimization. - Raihan Hassnain Kibria (2011)