Dear Members,

The Department of Electronic Engineering (EE) of City University of Hong Kong (CityU) and IEEE CAS/COM Hong Kong Joint Chapter are honoured to present a seminar by Dr Alan Mishchenko, Senior Researcher, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley with the following details:-

Title :     Canonical computation without canonical representation

Date :    10 May 2019 (Friday)

Time :    10:00 am – 11:00 am

Venue :  G6302, 6/F, Green Zone, Yeung Kin Man Academic Building, CityU.

The abstract of the seminar and the biography of the speaker are given as follows:-

 Abstract:-

A computation is canonical if the result depends only on the Boolean function and a selected variable order,  and  does  not  depend  on how  the  function  is  represented  and  how  the  computation  is implemented. In the context of Boolean satisfiability (SAT), canonicity implies that the result (a satisfying assignment for satisfiable instances and a UNSAT core for unsatisfiable ones) does not depend on the circuit structure, CNF generation algorithm, and the SAT solver used. The main highlight of this paper is that all SAT-based computations can be made canonical without building a canonical data-structure. The runtime overhead for inducing canonicity is relatively small and is often justifies by the uniqueness and the improved quality of results.

Biography of speaker:-

Alan graduated with M.S. from Moscow Institute of Physics and Technology (Moscow, Russia) in 1993 and received his Ph.D. from Glushkov Institute of Cybernetics (Kiev, Ukraine) in 1997. In 2002, Alan joined the EECS Department at University of California, Berkeley, where he is currently a full researcher. His research is in computationally efficient logic synthesis and formal verification.

This seminar is a free technical activity sponsored by EE department of CityU and IEEE CAS/COM Hong Kong Joint Chapter. For enquiries, please feel free to contact Dr. Ray Cheung of EE Department of CityU at telephone number 3442 9849. Please mark your diary and join us in this interesting seminar to further our knowledge in this contemporary research area.

Thank you.

Regards,

Edward Cheung

Chairman

IEEE CAS/COM HK Joint Chapter