Manipulation and optimisation techniques for Boolean logic. - B. A. Al Jassani; Neil Urquhart; A. E. A. Almaini (IET Comput. Digit. Tech., 2010)

State assignment for sequential circuits using multi-objective genetic algorithm. - B. A. Al Jassani; Neil Urquhart; A. E. A. Almaini (IET Comput. Digit. Tech., 2011)