Raihan H. Kibria

	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

Coauthor Index

1

You Li

[1]