Seminars of the Intelligent Robotics Laboratory. These seminars are related to all areas related to logic, design and learning. In particular we discuss solving combinatorial problems, logic representations and formalisms, learning and pattern recognition algorithms, non-classical logics, logic synthesis, data mining and robotics. Our group specializes also in logic design of advanced robotics controllers and test of robots.
Every talk is one hour, followed by a period of questions and answers and a discussion.
Brainstorming will be very welcome, as well as new ideas leading to journal publications of the group. The room is available for a total of two hours. Because of its importance, SOP minimization has attracted researchers' attention since 1950's. In 1994, O. Coudert proposed an implicit exact SOP minimization procedure, which proved to be much faster than explicit implementation in Espresso. The talk introduces the implicit representation of SOPs, summarizes the research contributions of the last decade, and discusses a novel implicit method for heuristic SOP minimization.