Scalable parallel genetic algorithm for solving large integer linear programming models derived from behavioral synthesisFallah, Mohammad K.; Mirhosseini, M.; Fazlali, Mahmood; Daneshtalab, Masoud2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing : PDP 2020, Västerås, Sweden, 11-13 March 20202020 / p. 390-394 https://doi.org/10.1109/PDP50117.2020.00066

A symbiosis between population based incremental learning and LP-relaxation based parallel genetic algorithm for solving integer linear programming modelsFallah, Mohammad K.; Fazlali, Mahmood; Daneshtalab, MasoudComputing2023 / p. 1121-1139 https://doi.org/10.1007/s00607-021-01004-x

Using SAT-based techniques in low power state assignmentSagahyroon, Assim; Aloul, Fadi; Sudnitsõn, AleksanderJournal of circuits, systems, and computers2011 / p. 1605-1618 : ill https://www.worldscientific.com/doi/10.1142/S0218126611007980