资源论文Boolean Satisfiability and Beyond: Algorithms, Analysis, and AI Applications

Boolean Satisfiability and Beyond: Algorithms, Analysis, and AI Applications

2019-11-25 | |  57 |   52 |   0
Abstract This overview accompanies the author’s IJCAI-16 Early Career Spotlight Talk, highlighting aspects of the author’s research agenda with a strong focus on some of the author’s recent research contributions.

上一篇:Preference Restrictions in Computational Social Choice: Recent Progress

下一篇:Directions in Hybrid Intelligence: Complementing AI Systems with Human Intelligence

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...