2007 | ||
---|---|---|
3 | EE | Raihan H. Kibria: Evolving a Neural Net-Based Decision and Search Heuristic for DPLL SAT Solvers. IJCNN 2007: 765-770 |
2 | EE | Raihan H. Kibria: Actin - Technical Report CoRR abs/0705.1481: (2007) |
2006 | ||
1 | EE | 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] |