Algorithms and Logic Group

Category: Seminars

  • Zihui Liang: Solving M¨uller Game in Polynomial Time

    Speaker: Zihui Liang (University of Electronic Science and Technology of China) Time: 16:20-17:20 (Time in Beijing) March 3, 2023 (Friday) Venue: 518, Research Building 4 Abstract: We introduce Muller games. These are two player games played on finite graphs. They are used to model reactive systems that interact with enviroment. They are also used in […]

  • Zhanghua Fu: 多机器人协同调度以及运筹优化方法的产业化应用

    Speaker: 付樟华 (香港中文大学深圳) Time: 15:00-16:00 (Time in Beijing) February 27, 2023 (Monday) Venue: 电子科技大学清水河校区四号科研楼A区518 Abstract: 产业界（工厂、仓储、港口、矿山、物流等）面临大量复杂的运筹优化问题，如何高效地解决这些问题，是相关企业的核心能力之一。然而，实际业务一般非常复杂，而且随着时间迅速变化，数据收集也往往相当困难，且存在误差。因此，学术界常用的优化方法往往难以直接应用于产业界。如何跨越学术研究与产业应用之间的鸿沟，成为许多运筹优化研究者所面临的问题。 Speaker Bio: 付樟华，本硕博均毕业于华中科技大学，2012年至2015年留学法国从事博士后研究。2015年回国后担任香港中文大学（深圳）以及深圳市人工智能与机器人研究院研究员，主要从事人工智能与机器人相关研究。曾于2014年12月夺得运筹优化领域著名的国际竞赛-第11届DIMACS国际算法设计大赛的冠军（华人首冠）。2016年入选深圳市“孔雀计划”海外高层次人才。2022年参与华为珠峰计划，帮助华为解决实际业务中的核心难题，获得华为颁发的“难题火花奖”。目前专注于机器人及人工智能领域相关产业化工作，已服务近十家行业龙头企业。

  • Chao Xu: 可满足性相关问题公共字符检索算法

    Speaker: 徐超 (长沙理工大学) Time: 10:00-11:00 (Time in Beijing) February 27, 2023 (Monday) Venue: 电子科技大学清水河校区四号科研楼A区518 Abstract: 可满足性问题是计算机领域的核心问题之一。实践中常常有些化简规则，即便是多项式时间内能完成，但当检测的时间复杂度超过了平方时间，程序内多次检测访问，仍然耗时严重。为此，针对消除公共字符的化简规则，基于哈希思想，本次给出了一种快速检测的算法，希望与大家共同研讨。 Speaker Bio: 徐超，中南大学博士，长沙理工大学计算机与通信工程学院讲师，主要从事可满足性相关相关问题优化算法研究，目前专注于可满足性相关问题理论算法与求解器应用的相关工作。

  • Ye Wei & Dingwen Xu: Probability Graph Models

    Speaker: () Time: 16:20-17:20 (Time in Beijing) November 25, 2022 (Friday) Venue: 518, Research Building 4 Abstract:

  • Jianbo Wang: Solving systems of linear equations through zero forcing set

    Speaker: () Time: 16:20-17:20 (Time in Beijing) November 18, 2022 (Friday) Venue: 518, Research Building 4 Abstract:

  • Ke Shi: A Polynomial Time Algorithm for Finding a Minimum 4-Partition of a Submodular Function

    Speaker: () Time: 16:20-17:20 (Time in Beijing) October 21, 2022 (Friday) Venue: 518, Research Building 4 Abstract:

  • Yuan Fang: Multi-unit Auction over a Social Network

    Speaker: () Time: 16:20-17:20 (Time in Beijing) October 14, 2022 (Friday) Venue: 518, Research Building 4 Abstract:

  • Mingyu Xiao: How Fast Can We Exactly Solve NP-Complete Problems?

    Speaker: () Time: 16:20-17:20 (Time in Beijing) September 30, 2022 (Friday) Venue: 518, Research Building 4 Abstract: Speaker Bio: 2008年在香港中文大学获得计算机博士学位之后进入电子科技大学工作，现在为电子科技大学计算机学院教授，副院长。主要从事算法分析与设计、机制设计与博弈论、人工智能中的基础算法理论等方向的研究，在Information and Computation、JCSS、Algorithmica、ACM/IEEE Trans.、ICALP、IJCAI、AAAI、WWW、INCOFOM等算法、人工智能领域顶级期刊和会议上发表论文超过100篇，撰写英文专著1部，主持（完成）国家自然科学基金项目5项。是参数算法和精确算法国内外知名的学者。

  • Chao Xu: 自动化仓储系统的调度问题

    Speaker: () Time: 20:00-21:00 (Time in Beijing) September 28, 2022 (Wednesday) Venue: Online, Tencent Meeting: 939-212-933 Abstract: Speaker Bio: 许超于2021年加入电子科技大学计算机科学与工程学院。现任算法与逻辑团队的助理教授。本科就读于美国纽约州立大学石溪分校数学系，于2018年在伊利诺伊大学香槟分校获得计算机博士学位。毕业后曾在多个科技和对冲基金公司担任研发科学家和软件工程师。研究方向为组合优化和算法的基础研究，相关工作发表于SODA, SICOMP, Mathematical Programming等算法和优化的知名会议和期刊。

  • Chao Xu: Minimum Violation Vertex Maps and Their Applications to Cut Problems

    Speaker: () Time: 15:00-16:00 (Time in Beijing) August 19, 2022 (Friday) Venue: Online, Tencent Meeting：662-155-517 Abstract: Speaker Bio: Chao Xu is currently an Assistant Professor at Algorithms and Logic Group in UESTC. He obtained a Ph.D. degree of Computer Science at UIUC in May 2018. He works in the field of combinatorial optimization and has […]