编辑配置文件（在新选项卡中打开） 侯赛因·希尼。 合著者距离 作者ID： 谢赫·侯赛因-m 发布方式： 侯赛因·希尼。 已编制索引的文档： 6出版物自2005年以来 合著者： 3位合著者具有6联合出版物 38位合作作者 合著者 0 单作者的 6 卡伦·萨卡拉。 1 巴特·彭特纳 1 波拉克，玛莎·E。 系列 1 可满足性、布尔建模与计算杂志 领域 6 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用25中的次23文件 引用人▼ 年份▼ Pueblo：混合伪布尔SAT解算器。 Zbl 1116.68090号 侯赛因·希尼。;卡伦·萨卡拉。 14 2006 从命题可满足性到可满足性模理论。 Zbl 1187.68567号 侯赛因·希尼。;卡伦·萨卡拉。 4 2006 一种求解整数线性算术逻辑可满足性的可扩展方法。 Zbl 1128.68483号 侯赛因·希尼。;卡伦·萨卡拉。 4 2005 使用SAT技术解决软时间约束。 Zbl 1153.68487号 侯赛因·希尼。;巴特·彭特纳;卡伦·萨卡拉。;波拉克，玛莎·E。 2 2005 基于SAT的混合逻辑/整数线性问题的决策过程。 Zbl 1133.68435号 侯赛因·希尼。;卡伦·萨卡拉。 1 2005 Pueblo：混合伪布尔SAT解算器。 Zbl 1116.68090号 侯赛因·希尼。;卡伦·萨卡拉。 14 2006 从命题可满足性到可满足性模理论。 Zbl 1187.68567号 侯赛因·希尼。;卡伦·萨卡拉。 4 2006 一种求解整数线性算术逻辑可满足性的可扩展方法。 Zbl 1128.68483号 侯赛因·希尼。;卡伦·萨卡拉。 4 2005 使用SAT技术解决软时间约束。 Zbl 1153.68487号 侯赛因·希尼。;巴特·彭特纳;卡伦·萨卡拉。;波拉克，玛莎·E。 2 2005 基于SAT的混合逻辑/整数线性问题的决策过程。 Zbl 1133.68435号 侯赛因·希尼。;卡伦·萨卡拉。 1 2005 所有引用出版物 前5名被引用出版物 全部的 前5名62位作者引用 三 Joáo P.塞尔瓦侯爵。 2 法哈德·阿尔巴 2 克拉克·W·巴雷特。 2 克拉克，戴夫 2 西蒙·德·吉夫里 2 恩里科·金西格里亚 2 费德里科·赫拉斯 2 亚历山大·拉佐维克 2 马可·马拉提亚 2 迈克尔·D·莫菲特。 2 乔迪，飞机 2 何塞·普伦萨 1 奥利维尔·贝利 1 米克尔波菲尔 1 巴特·博加特 1 亚辛·布夫哈德 1 莱昂纳多·德·莫拉 1 沃尔夫·德·沃尔夫 1 乔·德弗里安特 1 埃马努埃莱迪罗莎 1 杜建峰 1 马丁·格布瑟 1 安布罗斯·格雷克斯纳（Ambros M.Gleixner）。 1 安娜·格拉萨 1 顾，明 1 何开多 1 马提亚斯·霍巴赫 1 罗兰·卡明斯基 1 迪帕克·卡普尔 1 本杰明·考夫曼 1 理查德·科尔夫（Richard E.Korf）。 1 凯里里迪斯、阿纳斯塔西奥斯 1 哈维尔·拉罗萨 1 丹尼尔·勒贝雷 1 李，李 1 马克·利菲顿（Mark H.Liffiton）。 1 鲁，齐 1 林奇，因斯 1 瓦斯科·M·曼奎尼奥。 1 安托尼奥·莫尔加多 1 Nguyen，Thanhvu H。 1 雅各布诺德斯特伦 1 阿林多·L·奥利维拉。 1 米克尔帕拉西 1 波拉克，玛莎·E。 1 卢卡·普利纳 1 桂林齐 1 罗塞尔，奥利维尔 1 马蒂·桑切斯 1 Schaub，Torsten H。 1 托马斯·希克斯 1 安舒马利·施里瓦斯塔瓦 1 宋晓宇 1 阿伦·斯塔姆 1 约塞普·苏伊 1 塞萨尔·蒂内利 1 莫西·亚亚科夫·瓦尔迪 1 马图·维拉雷特 1 罗曼·沃伦 1 张志海 1 张志伟 1 赵恒均 全部的 前5名6篇连载文章中引用 6 约束条件 三 人工智能 2 运筹学年鉴 1 计算机程序设计科学 1 自动推理杂志 1 浙江大学学报。科学A 全部的 前5名在6个字段中引用 18 计算机科学（68至XX） 7 运筹学、数学规划（90-XX） 2 数学逻辑和基础（03-XX） 2 生物学和其他自然科学（92-XX） 1 阶、格、有序代数结构（06-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文