| 
Dr.-Ing. Raihan Kibria
Dr.-Ing. Raihan Kibria
Merckstraße 25
64283 Darmstadt
Gebäude S3|06, Raum: 332
Telefon: +49 6151 16-3666
Telefax: +49 6151 16-4976
64283 Darmstadt
Gebäude S3|06, Raum: 332
Telefon: +49 6151 16-3666
Telefax: +49 6151 16-4976
Forschungsgebiete
Ich arbeite an der Optimierung von Algorithmen zur Lösung des Erfüllbarkeitsproblems der Aussagenlogik mithilfe von Evolutionären Algorithmen, u.a. Genetic Programming und Neuronalen Netzen.
Publikationen
- R. H. Kibria: Evolving a Neural Net-Based Decision and Search Heuristic for DPLL SAT Solvers. In proceedings of International Joint Conference on Neural Networks (IJCNN) 2007, IJCNN 2007, Orlando, USA, August 12-17, 2007. [pdf]
- R. H. Kibria, Y. Li: Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers Using Genetic Programming. In proceedings of Genetic Programming: 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. LNCS 3905/2006, Springer Verlag.
- R. H. Kibria: Actin - technical report, 2006. arXiv:0705.1481v1
- R. H. Kibria: MidiSAT - technical report, 2005.
- R. H. Kibria: Optimierung von Operationen auf binären Klauseln in DPLL-SAT-Solvern. GI/ITG/GMM Workshop 'Modellierung und Verifikation', Munich, 2005.
Kontakt
Technische Universität Darmstadt
Fachbereich Elektrotechnik und Informationstechnik
Fachgebiet Rechnersysteme
Prof. Dr.-Ing. Hans Eveking
Merckstr. 25
64283 Darmstadt
+49 6151 16-2076
+49 6151 16-4976
Drucken
Impressum
Sitemap
Suche
Kontakt
