functional programmingSAT solvermulti-agent system
I am currently working on SAT solver implementation (esp. in Haskell) and algorithms.
Aa the basis, I am interested in AI, functional programming languages, distributed computation and so on. My solver will be placed in github.com soon.
GAP/D: VLSI hardware for parallel and adaptive distributed genetic algorithms
Proceedings of the 2009 International Joint Conference on Computational Sciences and Optimization, CSO 2009 (2009) 1