TY - JOUR AU - Gao, Jian AU - Yin, Minghao AU - Zhou, Junping PY - 2011/08/04 Y2 - 2024/03/28 TI - Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 25 IS - 1 SE - Student Abstracts and Posters DO - 10.1609/aaai.v25i1.8049 UR - https://ojs.aaai.org/index.php/AAAI/article/view/8049 SP - 1780-1781 AB - <p> In this paper, we investigate the hybrid tractability of binary Quantified Constraint Satisfaction Problems (QCSPs). First, a basic tractable class of binary QCSPs is identified by using the broken-triangle property. In this class, the variable ordering for the broken-triangle property must be same as that in the prefix of the QCSP. Second, we break this restriction to allow that existentially quantified variables can be shifted within or out of their blocks, and thus identify some novel tractable classes by introducing the broken-angle property. Finally, we identify a more generalized tractable class, i.e., the min-of-max extendable class for QCSPs. </p> ER -