电子书人工智能GavaNeLi交互式约束满足 (电子书人工智能)GavaNeLi——交互式约束满足(ebook-Artificial Intelligence) Gavanelli - Interactive Constraint Satisfaction Problems for Artific