编辑配置文件（在新选项卡中打开） 提格兰阿瓦内索夫 合著者距离 作者ID： 阿瓦内索夫.tigran 发布日期： 提格兰阿瓦内索夫 已编制索引的文档： 3出版物自2014年起 合著者： 7合著者具有3联合出版物 87位合作作者 全部的 前5名合著者 0 单作者的 2 亚尼克·骑士 2 米夏埃尔·鲁西诺维奇 2 马修·图鲁阿尼 1 托马斯·恩格尔 1 米罗斯瓦·坎特 1 玛丽亚·丽塔·帕拉特拉 1 艾米莉亚·坦塔尔 系列 2 符号计算杂志 字段 三 计算机科学（68至XX） 2 信息与通信理论、电路（94-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1时间1文件 引用人▼ 年份▼ 具有和不具有集合构造函数的一般入侵者约束的可满足性。 Zbl 1356.68269号 提格兰阿瓦内索夫;亚尼克·骑士;迈克尔·鲁西诺维奇;马修·图鲁阿尼 1 2017 具有和不具有集合构造函数的一般入侵者约束的可满足性。 Zbl 1356.68269号 提格兰阿瓦内索夫;亚尼克·骑士;迈克尔·鲁西诺维奇;马修·图鲁阿尼 1 2017 4位作者引用 1 提格兰阿瓦内索夫 1 亚尼克·骑士 1 米歇尔·鲁西诺维奇 1 马修·图鲁阿尼 在1个序列中引用 1 符号计算杂志 在2个字段中引用 1 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文