| 2007 | ||
|---|---|---|
| 3 | Raihan H. Kibria: Evolving a Neural Net-Based Decision and Search Heuristic for DPLL SAT Solvers. IJCNN 2007: 765-770 | |
| 2 | Raihan H. Kibria: Actin - Technical Report CoRR abs/0705.1481: (2007) | |
| 2006 | ||
| 1 | Raihan H. Kibria, You Li: Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers Using Genetic Programming. EuroGP 2006: 331-340 | |
| 1 | You Li | [1] |