Dr Ciaran McCreesh

Research Fellow · School of Computing Science

简介

I'm interested in solving hard combinatorial problems in practice, particularly in the areas of graph theory and subgraph finding. Theoretically, these problems should take exponential time to solve, but in practice algorithms based upon symbolic artificial intelligence techniques like constraint programming and boolean satisfiability can often exactly solve large instances very quickly. My main research questions are:

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。