纳迪亚·克里诺（编辑）;Phokion G.科莱蒂斯。（编辑）;赫里贝特·沃尔默（编辑） 约束的复杂性。当前研究主题概述。 （英语） Zbl 1154.68008号 计算机科学课堂讲稿5250.柏林：施普林格出版社（ISBN 978-3-540-92799-0/pbk）。vii，第321页。(2008). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：纳迪亚·克里诺；赫里贝特·沃尔默，布尔约束满足问题：Post的晶格何时起作用？，3-37 [Zbl 1171.68495号]费迪南德·伯纳，Galois连接基础，38-67[Zbl 1171.06301号]安德烈·布拉托夫（Andrei A.Bulatov）。；马修·瓦莱里奥特（Matthew A.Valeriote）。，关于CSP代数方法的最新结果，68-92[Zbl 1171.08300号]安德烈·布拉托夫。；安德烈·克罗钦；拉罗斯，伯努瓦，约束满足问题的对偶性，93-124[Zbl 1171.68494号]Kolaitis，Phokion G。；莫舍·瓦尔迪。，约束满足的逻辑方法，125-155[Zbl 1171.03322号]弗朗西斯科·斯卡切罗；乔治·戈特洛布（Georg Gottlob）；吉安路易吉·格雷科，统一约束满足问题与数据库理论，156-195[Zbl 1171.68501号]曼纽尔·博迪尔斯基，无限模板的约束满足问题，196-228[Zbl 1171.03320号]施诺尔（Schnoor）、海宁（Henning）；伊尔卡·施诺尔，部分多态性和约束满足问题，229-254[Zbl 1171.68502号]Peter Jonsson；古斯塔夫·诺德，最大解问题简介，255-282[Zbl 1171.68499号]奥利弗·库尔曼，实际SAT解决方案的现状和未来，283-319[Zbl 1171.68500号] 引用于13文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 65年第68季度 算法和问题复杂性分析 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 00B15号机组 杂项特定利益物品的收集 PDF格式BibTeX公司 XML格式引用 \textit{N.Creignou}（ed.）等人，约束的复杂性。当前研究主题概述。柏林：施普林格出版社（2008；Zbl 1154.68008） 全文： 内政部