Distributed and cloud computing, implementation techniques for improving energy and time performance on heterogeneous system. Machine learning on heterogeneous systems. Benchmarks and solvers for the satisfiability and model counting problems.