编辑配置文件（在新选项卡中打开） 卡伦·萨卡拉。 合著者距离 作者ID: 萨卡拉·卡雷姆-a 发布日期： 卡伦·萨卡拉。;卡伦·萨卡拉;萨卡拉，K.A。 更多。。。较少的 编入索引的文档： 29出版物自1993年以来，包括1个附加arXiv预打印 2作为编辑的贡献 合著者： 23位合著者具有31联合出版物 371位联合作者 全部的 前5名合著者 0 单作者的 7 伊戈尔·马尔科夫。 6 马克·利菲顿（Mark H.Liffiton）。 6 Joáo P.塞尔瓦侯爵。 6 侯赛因·M·希尼。 4 Fadi A.阿卢尔。 4 哈迪·卡提比 4 阿拉提·拉马尼 三 扎赫·安德劳斯（Zaher S.Andraus）。 三 马赫·姆奈姆 2 丹尼斯·布埃诺 2 林奇，因斯 1 巴沙尔·拉维 1 拉杜·格罗苏 1 黄晓婉 1 艾曼·凯西一世。 1 特雷弗·N·马奇。 1 Nam，Gi-Joon先生 1 巴特·彭特纳 1 Martha E.Pollack。 1 罗布·鲁滕巴尔（Rob A.Rutenbar）。 1 Laurent S.R.西蒙。 1 斯科特·斯莫尔卡。 1 杨紫江 全部的 前5名系列 2 电气电子工程师学会计算机期刊 2 计算机科学课堂讲稿 1 自动推理杂志 1 IEEE电路与系统汇刊。二： 模拟和数字信号处理 1 人工智能研究杂志 1 数学与人工智能年鉴 1 约束条件 1 欧洲理论计算机科学协会公报 1 ACM实验算法杂志 1 可满足性、布尔建模与计算杂志 全部的 前5名领域 28 计算机科学（68至XX） 6 运筹学、数学规划（90-XX） 三 信息与通信理论、电路（94-XX） 2 总体主题；集合（00-XX） 2 数理逻辑与基础（03-XX） 2 组合数学（05-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物被引用307中的次243文件 引用人▼ 年份▼ GRASP：命题可满足性的搜索算法。 Zbl 1392.68388号 Joáo P.塞尔瓦侯爵。;卡伦·萨卡拉。 126 1999 计算最小不可满足约束子集的算法。 Zbl 1154.68510号 马克·利菲顿（Mark H.Liffiton）。;卡伦·萨卡拉。 58 2008 找到所有最小不可满足子公式。 Zbl 1128.68473号 马克·利菲顿（Mark H.Liffiton）。;卡伦·萨卡拉。 16 2005 Pueblo：一个混合伪布尔SAT求解器。 Zbl 1116.68090号 侯赛因·M·希尼。;卡伦·萨卡拉。 14 2006 提取最小最小不可满足子公式的分枝定界算法。 Zbl 1181.90291号 马克·利菲顿;马希尔;林奇，因斯;扎赫·安德劳斯;佐奥·西尔瓦侯爵;卡里姆萨卡拉 12 2009 提取最小最小不可满足公式的分枝定界算法。 Zbl 1128.68477号 马赫·姆奈姆;林奇，因斯;扎赫·安德劳斯;佐奥·西尔瓦侯爵;卡伦·萨卡拉 9 2005 计算指数大图中的顶点偏心率：QBF公式和解。 Zbl 1204.68206号 马赫·姆奈姆;卡伦·萨卡拉 9 2004 对称性和可满足性：更新。 Zbl 1306.68160号 哈迪·卡提比;卡伦·萨卡拉。;伊戈尔·马尔科夫。 8 2010 现代SAT解题器剖析的实证研究。 Zbl 1330.68271号 哈迪·卡提比;卡伦·萨卡拉。;Joáo P.塞尔瓦侯爵。 6 2011 搜索自动标记以修剪不可满足的子句集。 Zbl 1138.68545号 马克·利菲顿;卡伦·萨卡拉 6 2008 在精确图着色中打破实例依赖对称。 Zbl 1182.68152号 拉马尼，A。;马尔科夫，I.L。;萨卡拉，K.A。;阿卢尔，F.A。 5 2006 布尔可满足性的动态对称破缺。 Zbl 1205.68366号 Fadi A.阿卢尔。;阿拉提·拉马尼;伊戈尔·马尔科夫。;卡伦·萨卡拉。 5 2009 一种求解整数线性算术逻辑可满足性的可扩展方法。 Zbl 1128.68483号 侯赛因·M·希尼。;卡伦·萨卡拉。 4 2005 从命题可满足性到可满足性模理论。 Zbl 1187.68567号 侯赛因·M·希尼。;卡伦·萨卡拉。 4 2006 Reveal：用于Verilog设计的正式验证工具。 Zbl 1182.68111号 扎赫·安德劳斯（Zaher S.Andraus）。;马克·利菲顿。;卡伦·萨卡拉。 4 2008 图自同构搜索中的冲突预测。 Zbl 1352.68223号 凯蒂，哈迪;卡伦·萨卡拉。;伊戈尔·马尔科夫。 4 2012 满意度测试的理论和应用——2011年SAT。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。 兹比尔1215.68023 三 2011 推广岩心导向Max-SAT。 Zbl 1247.68257号 马克·利菲顿（Mark H.Liffiton）。;卡伦·萨卡拉。 三 2009 满意度测试的理论和应用–SAT 2007。第十届国际会议，葡萄牙里斯本，2007年5月28日至31日。诉讼程序。 Zbl 1120.68007号 三 2007 使用SAT技术解决软时间约束。 Zbl 1153.68487号 侯赛因·M·希尼。;巴特·彭特纳;卡伦·萨卡拉。;Martha E.Pollack。 2 2005 现代SAT解题器的解剖和实证评估。 Zbl 1258.68137号 卡伦·萨卡拉。;若昂·西尔瓦侯爵 2 2011 信号转换时间对路径延迟计算的影响。 Zbl 0800.94279号 艾曼·凯西一世。;卡伦·萨卡拉。;特雷弗·N·马奇。 1 1993 基于SAT的混合逻辑/整数线性问题的决策过程。 Zbl 1133.68435号 侯赛因·M·希尼。;卡伦·萨卡拉。 1 2005 EUFORIA：使用未解释的功能完成软件模型检查。 Zbl 1522.68299号 丹尼斯·布埃诺;卡伦·萨卡拉。 1 2019 伪布尔公式的对称破缺。 Zbl 1365.68382号 Fadi A.阿卢尔。;阿拉提·拉马尼;伊戈尔·马尔科夫。;卡伦·萨卡拉。 1 2008 EUFORIA：使用未解释的功能完成软件模型检查。 Zbl 1522.68299号 丹尼斯·布埃诺;卡伦·萨卡拉。 1 2019 图自同构搜索中的冲突预测。 Zbl 1352.68223号 哈迪·卡提比;卡伦·萨卡拉。;伊戈尔·马尔科夫。 4 2012 现代SAT解题器剖析的实证研究。 Zbl 1330.68271号 哈迪·卡提比;卡伦·萨卡拉。;Joáo P.塞尔瓦侯爵。 6 2011 满意度测试的理论和应用——2011年SAT。2011年6月19日至22日，美国密歇根州安娜堡，第14届国际会议，SAT 2011。诉讼程序。 Zbl 1215.68023号 三 2011 现代SAT解题器的解剖和实证评估。 兹比尔1258.68137 卡伦·萨卡拉。;若昂·西尔瓦侯爵 2 2011 对称性和可满足性：更新。 Zbl 1306.68160号 凯蒂，哈迪;卡伦·萨卡拉。;伊戈尔·马尔科夫。 8 2010 提取最小最小不可满足子公式的分枝定界算法。 Zbl 1181.90291号 马克·利菲顿;马赫·姆奈姆;林奇，因斯;扎赫·安德劳斯;佐奥·西尔瓦侯爵;卡伦·萨卡拉 12 2009 布尔可满足性的动态对称破缺。 Zbl 1205.68366号 Fadi A.阿卢尔。;阿拉提·拉马尼;伊戈尔·马尔科夫。;卡伦·萨卡拉。 5 2009 推广岩心导向Max-SAT。 Zbl 1247.68257号 马克·利菲顿（Mark H.Liffiton）。;卡伦·萨卡拉。 三 2009 计算最小不可满足约束子集的算法。 Zbl 1154.68510号 马克·利菲顿（Mark H.Liffiton）。;卡伦·萨卡拉。 58 2008 搜索自动标记以修剪不可满足的子句集。 Zbl 1138.68545号 马克·利菲顿;卡伦·萨卡拉 6 2008 Reveal：用于Verilog设计的正式验证工具。 Zbl 1182.68111号 扎赫·安德劳斯（Zaher S.Andraus）。;马克·利菲顿（Mark H.Liffiton）。;卡伦·萨卡拉。 4 2008 伪布尔公式的对称破缺。 Zbl 1365.68382号 Fadi A.阿卢尔。;阿拉提·拉马尼;伊戈尔·马尔科夫。;卡伦·萨卡拉。 1 2008 满意度测试的理论和应用–SAT 2007。第十届国际会议，葡萄牙里斯本，2007年5月28日至31日。诉讼程序。 Zbl 1120.68007号 三 2007 Pueblo：混合伪布尔SAT解算器。 Zbl 1116.68090号 侯赛因·M·希尼。;卡伦·萨卡拉。 14 2006 在精确图着色中打破实例依赖对称。 Zbl 1182.68152号 拉马尼，A。;马尔科夫，I.L。;萨卡拉，K.A。;阿卢尔，F.A。 5 2006 从命题可满足性到可满足性模理论。 Zbl 1187.68567号 侯赛因·M·希尼。;卡伦·萨卡拉。 4 2006 找到所有最小不可满足子公式。 Zbl 1128.68473号 马克·利菲顿。;卡伦·萨卡拉。 16 2005 提取最小最小不可满足公式的分枝定界算法。 Zbl 1128.68477号 马希尔;林奇，因斯;扎赫·安德劳斯;佐奥·西尔瓦侯爵;卡伦·萨卡拉 9 2005 一种求解整数线性算术逻辑可满足性的可扩展方法。 Zbl 1128.68483号 侯赛因·M·希尼。;卡伦·萨卡拉。 4 2005 使用SAT技术解决软时间约束。 Zbl 1153.68487号 侯赛因·M·希尼。;巴特·彭特纳;卡伦·萨卡拉。;Martha E.Pollack。 2 2005 基于SAT的混合逻辑/整数线性问题的决策过程。 Zbl 1133.68435号 侯赛因·M·希尼。;卡伦·萨卡拉。 1 2005 计算指数大图中的顶点偏心率：QBF公式和解。 Zbl 1204.68206号 马赫·姆奈姆;卡伦·萨卡拉 9 2004 GRASP：命题可满足性的搜索算法。 Zbl 1392.68388号 Joáo P.塞尔瓦侯爵。;卡伦·萨卡拉。 126 1999 信号转换时间对路径延迟计算的影响。 Zbl 0800.94279号 艾曼·凯西一世。;卡伦·萨卡拉。;特雷弗·N·马奇。 1 1993 所有引用出版物 前5名被引用出版物 全部的 前5名455位作者引用 24 Joáo P.塞尔瓦侯爵。 8 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 8 米科拉什·亚诺塔 7 林奇，因斯 6 阿明·比尔 6 卡明·多达罗 5 马里奥·阿尔维亚诺 5 马里恩·赫勒。 5 马西莫·劳里亚 5 马克·利菲顿（Mark H.Liffiton）。 5 马可·马拉提亚 5 雅各布诺德斯特伦 5 亚历山德罗·普雷维蒂 5 弗朗西斯科·里卡 4 马丁·格布瑟 4 恩里科·金西格里亚 4 埃里克·格雷戈里 4 马蒂·Järvisalo 4 贝特朗·马祖尔 4 卡洛斯·门西娅 4 塞德里克馅饼 4 卡伦·萨卡拉。 4 斯泽德，斯特凡 三 艾丽卡·阿尔布拉汉姆 三 安德烈·阿布拉梅 三 克拉克·W·巴雷特。 三 雅罗斯拉夫·本迪克 三 蒂莫·伯托尔德 三 巴特·博加特 三 莫里斯·布吕诺格 三 Randal E.布莱恩特。 三 Samuel R.巴斯。 三 莱昂纳多·德·莫拉 三 马克·德内克 三 乔·德弗里安特 三 约翰·克劳斯·费希特 三 尤金·戈德伯格。 三 贾马尔·哈贝特 三 本杰明·考夫曼 三 奥利弗·库尔曼 三 弗洛里安·隆辛 三 Vasco M.Manquinho。 三 库尔迪普·S·米尔。 三 卢卡·普利纳 三 瓦迪姆·里夫钦 三 托尔斯滕·绍布（Torsten H.Schaub）。 三 Aleksandr Anatol’evich塞梅诺夫 三 何塞·席尔瓦·科埃略 三 斯特里赫曼（Ofer Strichman） 三 阿曼多·塔切拉 三 马里奥·范胡克 三 莫西·亚亚科夫·瓦尔迪 2 托拜厄斯·阿切特伯格 2 Fadi A.阿卢尔。 2 法哈德·阿尔巴 2 Arif，M.Fareed先生 2 瓦莱里·巴拉巴诺夫 2 穆苏诺里·班巴拉 2 JiříBarnat 2 贝恩德·贝克尔 2 尼古拉·贝内什 2 伊拉里奥·博纳西纳 2 玛丽亚·保拉（Maria Paola Bonacina） 2 布鲁尼，雷纳托 2 伊万娜·乔纳 2 克拉克、戴夫 2 弗朗西斯科·科尔曼 2 西蒙·德·吉夫里 2 丽娜·德希特 2 沃尔夫冈·德沃亚克 2 托马斯·艾特 2 阿尔贝托·格里乔 2 费德里科·赫拉斯 2 亚历山大·伊夫里伊 2 赛义德·贾布尔 2 德扬·约瓦诺维奇 2 本杰明·基尔 2 斯蒂芬·科切马佐夫 2 基里恩·克莱默 2 Jean-Marie拉格尼茨 2 亚历山大·拉佐维克 2 利奥，凯文 2 弗罗林白斜纹织物 2 尤利亚·利勒 2 沙拉德·马利克 2 诺伯特·曼恩 2 伊戈尔·马尔科夫。 2 皮埃尔·侯爵 2 迈克尔·D·莫菲特。 2 安托尼奥·莫尔加多 2 穆克甸 2 拉斐尔·佩尼亚洛萨 2 托拜厄斯·菲利普 2 乔迪，飞机 2 何塞·普伦萨 2 尤西·林塔南 2 拉赫达尔·塞伊斯 2 泽尼普·戈岑·萨里巴特 2 康斯坦丁·舍科提欣 2 克里斯托夫·斯科尔 …还有355名作者 全部的 前5名51篇连载文章中引用 29 人工智能 17 约束条件 13 离散应用数学 12 自动推理杂志 10 逻辑程序设计理论与实践 7 可满足性、布尔建模与计算杂志 6 系统设计中的形式化方法 5 理论计算机科学 5 欧洲运筹学杂志 4 SIAM计算机杂志 4 计算机与运筹学 4 运筹学年鉴 4 数学与人工智能年鉴 三 国际近似推理杂志 三 ACM计算逻辑事务 三 ACM实验算法杂志 2 信息处理信件 2 符号计算杂志 2 人工智能研究杂志 2 信息计算杂志 2 离散优化 2 计算机科学中的逻辑方法 2 Prikladnaya Diskretnaya Matematika公司 1 富兰克林学院学报 1 物理A 1 模糊集与系统 1 国际电路理论与应用杂志 1 计算机与系统科学杂志 1 经济理论杂志 1 筑波数学期刊 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 算法 1 亚太运筹学杂志 1 计算的形式方面 1 自动化和远程控制 1 数学编程。A系列B系列 1 计算复杂性 1 应用非经典逻辑杂志 1 埃及数学学会杂志 1 工程中的数学问题 1 组合优化期刊 1 国际应用数学与计算机科学杂志 1 CEJOR公司。中欧运筹学杂志 1 应用数学杂志 1 机器学习研究杂志（JMLR） 1 OR光谱 1 浙江大学学报。科学A 1 理论计算机科学电子笔记 1 《大学学报》。Informatica公司 1 数学规划计算 全部的 前5名在15个字段中引用 200 计算机科学（68至XX） 51 运筹学、数学规划（90-XX） 39 数理逻辑与基础（03-XX） 7 组合数学（05-XX） 5 信息与通信理论、电路（94-XX） 4 生物学和其他自然科学（92-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 总体主题；集合（00-XX） 2 数论（11-XX） 1 阶、格、有序代数结构（06-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 群论与推广（20-XX） 1 凸和离散几何（52至XX） 1 统计学（62-XX） 1 系统论；控制（93至XX） 按年份列出的引文