Raihan H. Kibria

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page