编辑配置文件(在新选项卡中打开) 马克·利菲顿(Mark H.Liffiton)。 合著者距离 作者ID: 提升.mark-h 发布方式: 马克·利菲顿(Mark H.Liffiton)。;马克·利菲顿 已编制索引的文档: 9出版物自2005年以来 合著者: 10位合著者具有9联合出版物 113位合作作者 全部的 前5名合著者 0 单作者的 6 卡伦·萨卡拉。 三 Joáo P.塞尔瓦侯爵。 2 扎赫·安德劳斯(Zaher S.Andraus)。 2 阿马尔·马利克 1 费德里科·赫拉斯 1 林奇,因斯 1 马赫·姆奈姆 1 安托尼奥·莫尔加多 1 乔迪,飞机 1 亚历山德罗·普雷维蒂 系列 三 约束条件 1 自动推理杂志 领域 6 计算机科学(68至XX) 三 运筹学、数学规划(90-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用172中的次101文件 引用人▼ 年份▼ 计算最小不可满足约束子集的算法。 Zbl 1154.68510号 马克·利菲顿(Mark H.Liffiton)。;卡伦·萨卡拉。 58 2008 迭代和核心指导的maxsat求解:调查和评估。 Zbl 1317.90199号 安东尼奥·莫尔加多;费德里科·赫拉斯;马克·利菲顿;乔迪,飞机;若昂·西尔瓦侯爵 36 2013 快速、灵活的MUS枚举。 Zbl 1334.90080号 马克·利菲顿(Mark H.Liffiton)。;亚历山德罗·普雷维蒂;阿马尔·马利克;若昂·西尔瓦侯爵 26 2016 找到所有最小不可满足子公式。 Zbl 1128.68473号 马克·利菲顿(Mark H.Liffiton)。;卡伦·萨卡拉。 16 2005 提取最小最小不可满足子公式的分支定界算法。 Zbl 1181.90291号 马克·利菲顿;马赫·姆奈姆;林奇,因斯;扎赫·安德劳斯;佐奥·西尔瓦侯爵;卡伦·萨卡拉 12 2009 枚举不可行:快速查找多个MUS。 Zbl 1382.68226号 马克·利菲顿(Mark H.Liffiton)。;阿马尔·马利克 11 2013 搜索自动标记以修剪不可满足的子句集。 Zbl 1138.68545号 马克·利菲顿;卡伦·萨卡拉 6 2008 Reveal:用于Verilog设计的正式验证工具。 Zbl 1182.68111号 扎赫·安德劳斯(Zaher S.Andraus)。;马克·利菲顿(Mark H.Liffiton)。;卡伦·萨卡拉。 4 2008 推广岩心导向Max-SAT。 Zbl 1247.68257号 马克·利菲顿(Mark H.Liffiton)。;卡伦·萨卡拉。 三 2009 快速、灵活的MUS枚举。 Zbl 1334.90080号 马克·利菲顿(Mark H.Liffiton)。;亚历山德罗·普雷维蒂;阿马尔·马利克;若昂·西尔瓦侯爵 26 2016 迭代和核心指导的maxsat求解:调查和评估。 Zbl 1317.90199号 安东尼奥·莫尔加多;费德里科·赫拉斯;马克·利菲顿;乔迪,飞机;若昂·西尔瓦侯爵 36 2013 枚举不可行:快速查找多个MUS。 Zbl 1382.68226号 马克·利菲顿(Mark H.Liffiton)。;阿马尔·马利克 11 2013 提取最小最小不可满足子公式的分枝定界算法。 兹比尔1181.90291 马克·利菲顿;马赫·姆奈姆;林奇,因斯;扎赫·安德劳斯;佐奥·西尔瓦侯爵;卡里姆萨卡拉 12 2009 推广岩心导向Max-SAT。 Zbl 1247.68257号 马克·利菲顿(Mark H.Liffiton)。;卡伦·萨卡拉。 三 2009 计算最小不可满足约束子集的算法。 Zbl 1154.68510号 马克·利菲顿(Mark H.Liffiton)。;卡伦·萨卡拉。 58 2008 正在搜索autarkies以修剪不满意的子句集。 Zbl 1138.68545号 马克·利菲顿;卡伦·萨卡拉 6 2008 Reveal:用于Verilog设计的正式验证工具。 Zbl 1182.68111号 扎赫·安德劳斯(Zaher S.Andraus)。;马克·利菲顿(Mark H.Liffiton)。;卡伦·萨卡拉。 4 2008 找到所有最小不可满足子公式。 Zbl 1128.68473号 马克·利菲顿(Mark H.Liffiton)。;卡伦·萨卡拉。 16 2005 所有引用出版物 前5名被引用出版物 全部的 前5名193位作者引用 21 Joáo P.塞尔瓦侯爵。 10 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 6 米科拉什·亚诺塔 5 马克·利菲顿(Mark H.Liffiton)。 5 林奇,因斯 5 亚历山德罗·普雷维蒂 4 马里奥·阿尔维亚诺 4 雅罗斯拉夫·本迪克 4 埃里克·格雷戈里 4 贝特朗·马祖尔 4 卡洛斯·门西娅 4 塞德里克馅饼 三 卡洛斯·安索特吉 三 杰里米亚斯·伯格 三 伊万娜·乔纳 三 卡明·多达罗 三 托马斯·艾特 三 乔尔·加布 三 马蒂·Järvisalo 三 安托尼奥·莫尔加多 三 拉斐尔·佩尼亚洛萨 三 弗朗西斯科·里卡 三 卡伦·萨卡拉。 三 马蒂亚斯·蒂姆 2 阿里夫·M·法里德 2 艾丁·戈尔(Ebru Aydin Gol) 2 JiříBarnat 2 尼古拉·贝内什 2 蔡少伟 2 佛罗伦萨,萨尔瓦多 2 亚历山大·伊夫里 2 亚辛·伊扎 2 奥利弗·库尔曼 2 利奥,凯文 2 沙拉德·马利克 2 瓦斯科·M·曼奎尼奥。 2 鲁本·马丁斯 2 库尔迪普·S·米尔。 2 穆克甸 2 亚历山大·纳德尔 2 乔迪,飞机 2 瓦迪姆·里夫钦 2 泽尼普·戈岑·萨里巴特 2 艾哈迈特·塞肯 2 斯特里赫曼(Ofer Strichman) 2 约翰·彼得·沃纳 1 穆罕默德·阿尔谢赫 1 扎赫·安德劳斯(Zaher S.Andraus)。 1 米盖尔·安霍斯(Miguel F.Anjos)。 1 何塞普·阿盖利希 1 瓦莱里·巴拉巴诺夫 1 彼得·鲍赫 1 Béjar,拉蒙 1 哈立德省贝拉新世 1 安东·贝洛夫 1 格列布·贝洛夫 1 简·伯兰 1 安娜·贝纳斯科尼 1 尼古拉·S·比约纳。 1 罗德里克·布洛姆 1 埃林·比约克,巴瓦尔斯多蒂尔 1 玛丽亚·路易莎·博内 1 费利克斯·勃兰特 1 格哈德·布鲁卡 1 卢博什·布里姆 1 Samuel R.巴斯。 1 哈德里安·坎巴扎德 1 克劳德特·凯罗尔 1 格恩瑟·查瓦特 1 陈剑儿 1 郑成 1 穆罕默德·萨米·谢里夫 1 安德烈·奥古斯托·西雷 1 马丁·库珀。 1 弗朗西斯科·科尔曼 1 托拜厄斯·科扎德纳 1 Desrosiers,克里斯蒂安 1 埃马努埃莱迪罗莎 1 迪迪埃·杜布瓦 1 沃尔夫冈·德沃亚克 1 埃格利,乌韦 1 塞萨尔·费尔南德斯。 1 尤金·弗洛伊德。 1 莎拉·爱丽丝·加格尔 1 菲利普·加利尼尔 1 玛丽亚·加西亚·德拉班达 1 劳伦特·加西亚 1 恩里科·金西格里亚 1 贾马尔·哈贝特 1 费德里科·赫拉斯 1 阿兰·赫兹 1 约翰·胡克(John N.jun Hooker)。 1 黄轩翔 1 劳拉·汉弗莱。 1 Lisa Hutschenreiter 1 汉内斯·伊哈莱宁 1 赛义德·贾布尔 1 索拉巴·乔希 1 迈克尔·考夫曼 1 马蒂亚斯·克拉珀斯图克 …还有93位作者 全部的 前5名24篇连载文章中引用 17 人工智能 10 约束条件 5 可满足性、布尔建模与计算杂志 4 国际近似推理杂志 三 欧洲运筹学杂志 2 人工智能研究杂志 2 数学与人工智能年鉴 2 逻辑程序设计理论与实践 1 离散应用数学 1 经济理论杂志 1 理论计算机科学 1 算法 1 计算机与运筹学 1 自动推理杂志 1 计算的形式方面 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 启发式杂志 1 信息计算杂志 1 工程中的数学问题 1 组合优化期刊 1 ACM计算逻辑事务 1 ACM实验算法杂志 1 计算机科学中的逻辑方法 全部的 前5名在9个字段中引用 83 计算机科学(68至XX) 19 运筹学、数学规划(90-XX) 9 数学逻辑和基础(03-XX) 三 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 组合数学(05-XX) 1 统计学(62-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文