资源论文Tractable Set Constraints Manuel Bodirsky Martin Hils Alex Krimkevich

Tractable Set Constraints Manuel Bodirsky Martin Hils Alex Krimkevich

2019-11-12 | |  41 |   35 |   0
Abstract Many fundamental problems in arti?cial intelligence, knowledge representation, and veri?cation involve reasoning about sets and relations between sets and can be modeled as set constraint satisfaction problems (set CSPs). Such problems are frequently intractable, but there are several important set CSPs that are known to be polynomial-time tractable. We introduce a large class of set CSPs that can be solved in quadratic time. Our class, which we call EI, contains all previously known tractable set CSPs, but also some new ones that are of crucial importance for example in description logics. The class of EI set constraints has an elegant universal-algebraic characterization, which we use to show that every set constraint language that properly contains all EI set constraints already has a ?nite sublanguage with an NP-hard constraint satisfaction problem.

上一篇:Depth-Driven Circuit-Level Stochastic Local Search for SAT Anton Belov? Matti Ja?rvisalo† Zbigniev Stachniak

下一篇:Symmetries and Lazy Clause Generation ? Geoffrey Chu and Peter J. Stuckey Maria Garcia de la Banda and Chris Mears

用户评价
全部评价

热门资源

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

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

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Rating-Boosted La...

    The performance of a recommendation system reli...

  • Hierarchical Task...

    We extend hierarchical task network planning wi...