编辑配置文件（在新选项卡中打开） 玛丽亚·加西亚·德拉班达 合著者距离 作者ID： 加西亚-德拉班达马里亚 发布日期： 玛丽亚·加西亚·德拉班达;玛丽亚·加西亚·德拉班达;玛丽亚·加西亚·德拉班达;玛丽亚·加西亚·德拉班达;玛丽亚·加西亚·德·拉班达;玛丽亚·加西亚，德拉班达;玛丽亚·加西亚·德·拉班达;M.加西亚·德拉班达。 更多。。。较少的 外部链接： ORCID公司 已编制索引的文档： 37出版物自1996年起 2作为编辑的贡献 合著者： 42位合著者具有39联合出版物 687合作作者 全部的 前5名合著者 0 单作者的 24 彼得·詹姆斯·斯塔基 11 巴特·德梅恩 11 万豪酒店，Kim 7 马克·华莱士。 6 克里斯托弗·米尔斯 5 曼努埃尔五世（Manuel V.Hermenegildo）。 4 布埃诺，弗朗西斯科 4 杰弗里·楚 4 克里斯蒂安·霍尔兹鲍尔 3 格雷戈里·杜克。 3 沃里克·哈维 2 艾尔维拉·阿尔伯特 2 米盖尔·戈梅斯·扎马洛亚 2 杰弗里，大卫 2 尼古拉斯·奈瑟科特 2 恩里科·蓬泰利 2 德国普埃布拉 2 汤姆·施里杰弗斯 1 普里阿雷纳斯 1 格列布·贝洛夫 1 莫里斯·布鲁诺 1 迈克尔·科迪什 1 科里亚斯，杰苏斯 1 托拜厄斯·科扎德纳 1 曼纽尔·赫曼吉尔多 1 马蒂亚斯·克拉珀斯图克 1 利奥，凯文 1 迈克尔·马赫（Michael J.Maher）。 1 卡利扬·穆图库马尔 1 大卫·奥弗顿 1 雷扎·拉斐 1 何塞·米盖尔·罗哈斯 1 伊兰凯科内Senthooran 1 马克西姆·希什马雷夫 1 约翰·斯莱尼。 1 佐尔坦·索莫吉 1 哈拉尔德·森德加德 1 亚历克斯·斯蒂瓦拉 1 塔克，吉多 1 沃尔什，托比 1 安东尼·沃思 1 米歇尔·维布罗姆 全部的 前5名系列 9 约束条件 6 逻辑程序设计理论与实践 3 逻辑程序设计杂志 2 信息计算杂志 1 并行与分布式计算杂志 1 计算机科学课堂讲稿 领域 31 计算机科学（68至XX） 13 运筹学、数学规划（90-XX） 2 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用178中的次124文件 引用人▼ 年份▼ 锌建模语言的设计。 Zbl 1146.68352号 万豪酒店，Kim;尼古拉斯·奈瑟科特;雷扎·拉斐;彼得·斯图基（Peter J.Stuckey）。;玛丽亚·加西亚·德拉班达;华莱士，马克 32 2008 约束处理规则的精细化操作语义。 兹比尔1104.68359 格雷戈里·杜克。;彼得·斯图基（Peter J.Stuckey）。;玛丽亚·加西亚·德拉班达;克里斯蒂安·霍尔兹鲍尔 23 2004 关于对称性检测的实现。 Zbl 1181.68177号 米尔斯，C。;M.加西亚·德拉班达。;M.华莱士。 13 2009 针对受限、目标级、独立和并行的逻辑程序的编译时自动并行化。 Zbl 0927.68018号 穆图库马尔，K。;布埃诺，F。;玛丽亚·加西亚·德拉班达;Hermenegildo，M。 12 1999 G12项目：将独立于求解器的模型映射到高效的解决方案。 Zbl 1165.68517号 彼得·斯图基（Peter J.Stuckey）。;玛丽亚·加西亚·德拉班达;迈克尔·马赫;万豪酒店，Kim;约翰·斯莱尼;佐尔坦·索莫吉;华莱士，马克;沃尔什，托比 9 2005 动态编程以最小化最大打开堆栈数。 Zbl 1241.90170号 玛丽亚·加西亚·德拉班达;彼得·斯图基（Peter J.Stuckey）。 9 2007 用动态规划解决人才调度问题。 Zbl 1243.90059号 玛丽亚·加西亚·德拉班达;彼得·斯图基（Peter J.Stuckey）。;杰弗里·楚 8 2011 逻辑编程。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。 兹比尔1154.68013 8 2008 一种检测CSP模型中对称性的新方法。 Zbl 1142.68520号 克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;华莱士，马克;巴特·德梅恩 7 2008 优化HAL中约束处理规则的编译。 Zbl 1104.68010号 克里斯蒂安·霍尔兹鲍尔;玛丽亚·加西亚·德拉班达;彼得·斯图基（Peter J.Stuckey）。;格雷戈里·杜克。 6 2005 在约束编程中自动利用子问题等价性。 Zbl 1285.68153号 杰弗里·楚;玛丽亚·加西亚·德拉班达;彼得·斯图基（Peter J.Stuckey）。 5 2010 无锁并行动态编程。 Zbl 1233.68225号 亚历克斯·斯蒂瓦拉;彼得·斯图基（Peter J.Stuckey）。;德拉班达，玛丽亚·加西亚;曼纽尔·赫尔梅内吉尔多;安东尼·沃思 5 2010 检查HAL程序的模式。 Zbl 1083.68019号 玛丽亚·加西亚·德·拉班达;沃里克·哈维;万豪酒店，Kim;彼得·斯图基（Peter J.Stuckey）。;巴特·德梅恩 4 2005 轻量化动态对称破缺。 Zbl 1338.90269号 克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;巴特·德梅恩;华莱士，马克 4 2014 上下文敏感的动态偏序减少。 Zbl 1494.68047号 艾尔维拉·阿尔伯特;普里阿雷纳斯;玛丽亚·加西亚，德拉班达;米盖尔·戈梅斯·扎马洛亚;彼得·斯图基（Peter J.Stuckey）。 4 2017 逻辑程序分析中的微分方法。 Zbl 0905.68029号 玛丽亚·加西亚·德拉班达;万豪酒店，Kim;彼得·斯塔基;哈拉尔德·森德加德 3 1998 对称、几乎对称和惰性子句生成。 Zbl 1316.90045号 杰弗里·楚;玛丽亚·加西亚·德拉班达;克里斯托弗·米尔斯;彼得·斯图基（Peter J.Stuckey）。 3 2014 利用约束规划中的子问题优势。 Zbl 1247.68249号 杰弗里·楚;玛丽亚·加西亚·德拉班达;彼得·斯图基（Peter J.Stuckey）。 3 2012 可视化搜索树分析。 Zbl 1334.90170号 马克西姆·希什马雷夫;克里斯托弗·米尔斯;塔克，吉多;玛丽亚·加西亚·德拉班达 3 2016 在逻辑程序分析中利用目标独立性。 Zbl 0883.68027号 迈克尔·科迪什;莫里斯·布鲁诺;玛丽亚·加西亚·德拉班达;曼纽尔·赫尔梅内吉尔多 2 1997 对共享而言，集合共享并不总是多余的。 Zbl 1122.68364号 布埃诺，弗朗西斯科;加西亚·德拉·班达，玛丽亚 2 2004 HAL之门：HAL教程。 Zbl 1019.68514号 玛丽亚·加西亚·德拉班达;巴特·德梅恩;万豪酒店，Kim;彼得·斯图基（Peter J.Stuckey）。 2 2002 模块化程序上下文敏感分析的通用框架。 Zbl 1080.68557号 德国普埃布拉;科里亚斯，杰苏斯;曼努埃尔五世（Manuel V.Hermenegildo）。;布埃诺，弗朗西斯科;玛丽亚·加西亚·德拉班达;万豪酒店，Kim;彼得·斯图基（Peter J.Stuckey）。 2 2004 一种检测约束模型中对称性的方法及其推广。 Zbl 1316.90029号 克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;华莱士，马克;巴特·德梅恩 2 2015 多余的数独规则。 Zbl 1312.68035号 巴特·德梅恩;玛丽亚·加西亚·德拉班达 2 2014 优化约束处理规则的编译。 兹比尔1053.68533 克里斯蒂安·霍尔兹鲍尔;玛丽亚·加西亚·德拉班达;戴维·杰弗里;彼得·斯图基（Peter J.Stuckey）。 1 2001 参数多态性和特殊多态性的类型约束求解。 Zbl 0959.68022号 巴特·德梅恩;玛丽亚·加西亚·德拉班达;彼得·斯图基（Peter J.Stuckey）。 1 1999 拉丁方问题中的多余缺陷。 Zbl 1317.90253号 巴特·德梅恩;玛丽亚·加西亚·德拉班达 1 2013 模块间分析和优化编译的模型。 Zbl 1018.68501号 布埃诺，弗朗西斯科;玛丽亚·加西亚·德拉班达;曼纽尔·赫尔梅内吉尔多;万豪酒店，Kim;德国普埃布拉;彼得·斯图基（Peter J.Stuckey）。 1 2001 HAL中的Herbrand约束。 Zbl 1080.68551号 巴特·德梅恩;玛丽亚·加西亚·德拉班达;沃里克·哈维;万豪酒店，Kim;大卫·奥弗顿;彼得·斯图基（Peter J.Stuckey）。 1 2004 上下文敏感的动态偏序减少。 Zbl 1494.68047号 艾尔维拉·阿尔伯特;普里阿雷纳斯;玛丽亚·加西亚，德拉班达;米盖尔·戈梅斯·扎马洛亚;彼得·斯图基（Peter J.Stuckey）。 4 2017 可视化搜索树分析。 Zbl 1334.90170号 马克西姆·希什马雷夫;克里斯托弗·米尔斯;塔克，吉多;玛丽亚·加西亚·德拉班达 3 2016 一种检测约束模型中对称性的方法及其推广。 Zbl 1316.90029号 克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;华莱士，马克;巴特·德梅恩 2 2015 轻量级动态对称打破。 Zbl 1338.90269号 克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;巴特·德梅恩;华莱士，马克 4 2014 对称、几乎对称和惰性子句生成。 Zbl 1316.90045号 杰弗里·楚;玛丽亚·加西亚·德拉班达;克里斯托弗·米尔斯;彼得·斯图基（Peter J.Stuckey）。 3 2014 多余的数独规则。 Zbl 1312.68035号 巴特·德梅恩;玛丽亚·加西亚·德拉班达 2 2014 拉丁方问题中的多余缺陷。 Zbl 1317.90253号 巴特·德梅恩;玛丽亚·加西亚·德拉班达 1 2013 利用约束规划中的子问题优势。 Zbl 1247.68249号 朱棣文，杰弗里;玛丽亚·加西亚·德拉班达;彼得·斯图基（Peter J.Stuckey）。 3 2012 通过动态编程解决人才调度问题。 Zbl 1243.90059号 玛丽亚·加西亚·德拉班达;彼得·斯图基（Peter J.Stuckey）。;杰弗里·楚 8 2011 在约束编程中自动利用子问题等价性。 Zbl 1285.68153号 杰弗里·楚;玛丽亚·加西亚·德拉班达;彼得·斯图基（Peter J.Stuckey）。 5 2010 无锁并行动态编程。 Zbl 1233.68225号 亚历克斯·斯蒂瓦拉;彼得·斯图基（Peter J.Stuckey）。;玛丽亚·加西亚·德拉班达;曼纽尔·赫尔梅内吉尔多;安东尼·沃思 5 2010 关于对称性检测的实现。 Zbl 1181.68177号 米尔斯，C。;M.加西亚·德拉班达。;M.华莱士。 13 2009 锌建模语言的设计。 Zbl 1146.68352号 万豪酒店，Kim;尼古拉斯·奈瑟科特;雷扎·拉斐;彼得·斯图基（Peter J.Stuckey）。;玛丽亚·加西亚·德拉班达;华莱士，马克 32 2008 逻辑编程。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。 Zbl 1154.68013号 8 2008 一种检测CSP模型中对称性的新方法。 Zbl 1142.68520号 克里斯托弗·米尔斯;玛丽亚·加西亚·德拉班达;华莱士，马克;巴特·德梅恩 7 2008 动态编程，最大限度地减少打开堆栈的数量。 Zbl 1241.90170号 玛丽亚·加西亚·德拉班达;彼得·斯图基（Peter J.Stuckey）。 9 2007 G12项目：将独立于求解器的模型映射到高效的解决方案。 Zbl 1165.68517号 彼得·斯图基（Peter J.Stuckey）。;玛丽亚·加西亚·德拉班达;迈克尔·马赫;万豪酒店，Kim;约翰·斯莱尼;佐尔坦·索莫吉;华莱士，马克;沃尔什，托比 9 2005 优化HAL中约束处理规则的编译。 Zbl 1104.68010号 克里斯蒂安·霍尔兹鲍尔;玛丽亚·加西亚·德拉班达;彼得·斯图基（Peter J.Stuckey）。;格雷戈里·杜克。 6 2005 检查HAL程序的模式。 Zbl 1083.68019号 玛丽亚·加西亚·德·拉班达;沃里克·哈维;万豪酒店，Kim;彼得·斯图基（Peter J.Stuckey）。;巴特·德梅恩 4 2005 约束处理规则的精细操作语义。 Zbl 1104.68359号 格雷戈里·杜克。;彼得·斯图基（Peter J.Stuckey）。;玛丽亚·班达火车站;克里斯蒂安·霍尔兹鲍尔 23 2004 集合共享对于对共享来说并不总是多余的。 Zbl 1122.68364号 布埃诺，弗朗西斯科;玛丽亚·加西亚·德拉班达 2 2004 模块化程序上下文敏感分析的通用框架。 Zbl 1080.68557号 德国普埃布拉;科里亚斯，杰苏斯;曼努埃尔五世（Manuel V.Hermenegildo）。;布埃诺，弗朗西斯科;玛丽亚·加西亚·德拉班达;万豪酒店，Kim;彼得·斯图基（Peter J.Stuckey）。 2 2004 HAL中的Herbrand约束。 Zbl 1080.68551号 巴特·德梅恩;玛丽亚·加西亚·德拉班达;沃里克·哈维;万豪酒店，Kim;大卫·奥弗顿;彼得·斯图基（Peter J.Stuckey）。 1 2004 HAL之门：HAL教程。 Zbl 1019.68514号 玛丽亚·加西亚·德拉班达;巴特·德梅恩;万豪酒店，Kim;彼得·斯图基（Peter J.Stuckey）。 2 2002 优化约束处理规则的编译。 Zbl 1053.68533号 克里斯蒂安·霍尔兹鲍尔;玛丽亚·加西亚·德拉班达;戴维·杰弗里;彼得·斯图基（Peter J.Stuckey）。 1 2001 模块间分析和优化编译的模型。 Zbl 1018.68501号 布埃诺，弗朗西斯科;玛丽亚·加西亚·德拉班达;曼纽尔·赫尔梅内吉尔多;万豪酒店，Kim;德国普埃布拉;彼得·斯图基（Peter J.Stuckey）。 1 2001 针对受限、目标级、独立和并行的逻辑程序的编译时自动并行化。 Zbl 0927.68018号 穆图库马尔，K。;布埃诺，F。;玛丽亚·加西亚·德拉班达;Hermenegildo，M。 12 1999 参数多态性和特殊多态性的类型约束求解。 Zbl 0959.68022号 巴特·德梅恩;玛丽亚·加西亚·德拉班达;彼得·斯图基（Peter J.Stuckey）。 1 1999 逻辑程序分析中的微分方法。 Zbl 0905.68029号 玛丽亚·加西亚·德拉班达;万豪酒店，Kim;彼得·斯塔基;哈拉尔德·森德加德 3 1998 在逻辑程序分析中利用目标独立性。 Zbl 0883.68027号 迈克尔·科迪什;莫里斯·布鲁诺;玛丽亚·加西亚·德拉班达;曼纽尔·赫尔梅内吉尔多 2 1997 所有引用出版物 前5名被引用出版物 全部的 前5名261位作者引用 16 彼得·詹姆斯·斯塔基 15 曼努埃尔五世（Manuel V.Hermenegildo）。 9 巴特·德梅恩 8 玛丽亚·加西亚·德拉班达 8 马克·华莱士。 6 汤姆·施里杰弗斯 5 曼努埃尔·卡罗 4 海宁·克里斯蒂安森 4 托姆·吕维思 4 毛里齐奥·加布里埃利 4 克里斯托弗·米尔斯 3 艾尔维拉·阿尔伯特 3 阿马迪奥·卡萨斯 3 杰弗里·楚 3 莱斯利·德科宁克 3 吕克·德·雷德 3 玛丽亚·希亚拉（Maria Chiara Meo） 3 伊恩·米格尔 3 何塞·弗朗西斯科·莫拉莱斯 3 乔恩·斯奈尔斯 3 塔克，吉多 3 彼得·范·威特 2 Abdennadher，苗条 2 阿坤、奥祖尔 2 布兰德，塞巴斯蒂安 2 莫里斯·布鲁诺 2 布埃诺，弗朗西斯科 2 卡尔森，Mats 2 安德烈·奥古斯托·西雷 2 德卡特，布罗斯 2 格雷戈里·杜克。 2 托马斯·艾特 2 蒂鲍特·费迪 2 艾伦·M·弗里希。 2 格雷姆·恒河 2 马丁·格布瑟 2 米盖尔·戈梅斯·扎马洛亚 2 斯特凡诺·瓜兰迪 2 戈帕尔·古普塔 2 约翰·胡克（John N.jun Hooker）。 2 乔瓦姆巴蒂斯塔·伊安尼 2 Maja Hanne Kirkeby 2 托马斯·克伦瓦尔纳 2 李，吉米·霍曼 2 佩德罗·洛佩兹·加西亚 2 费德里科·马卢塞利 2 雅各布·毛罗 2 恩里科·蓬泰利 2 雅各布·普钦格 2 德国普埃布拉 2 里卡多·罗查 2 阿尔伯特·鲁比奥 2 马蒂奥·桑马蒂诺 2 彼得·沙赫特 2 康斯坦丁·舍科提欣 2 安德烈亚斯·舒特 2 亚历山德拉·席尔瓦 2 爱丽丝·塔萨里奥尔 2 皮特·威勒 2 亚纳斯，霍拉西奥·希德基 2 阿米拉·扎基 1 萨尔瓦多阿布雷乌 1 埃琳娜·艾克利。 1 普拉图什·阿加瓦尔 1 乌奈阿尔达索罗 1 阿洛奇，大卫 1 塞萨尔·路易斯·阿隆索 1 罗伯托·阿马迪尼 1 吉安卢卡·阿马托 1 杰里特·安德斯 1 伊莎贝·安德烈 1 米盖尔·阿雷亚斯 1 马塞洛·阿罗卡·托米姆 1 奥斯特兰德，马克斯 1 马塞洛·巴尔杜奇尼 1 苏菲·芭比 1 萨布丽娜·Baselice 1 J.克里斯托弗·贝克 1 尼古拉斯·贝尔迪塞努 1 瓦夏克·贝勒 1 亨德里克·布洛克 1 斯特凡·博克 1 巴特·博加特 1 皮耶罗·安德里亚·博纳蒂 1 拉斐尔·布鲁诺·S·布兰迪。 1 格哈德·布鲁卡 1 克里希南德·查特吉 1 伊沃·查夫·达·席尔瓦（Chaves da Silva Junior） 1 Cheng，Tai-Chiu Edwin先生 1 巴勃罗·奇科·德古兹曼 1 乔瓦尼·西亚托 1 米格尔·迪亚斯·科斯塔 1 维托尔·桑托斯·科斯塔 1 达尔，维罗妮卡 1 明州道特兰 1 杰西卡·凯瑟琳·戴维斯 1 杰西·戴维斯 1 伊曼纽尔·德·安吉利斯 1 西蒙·德·吉夫里 1 斯特夫·德·普特 …还有161位作者 全部的 前5名31篇连载文章中引用 21 约束条件 17 逻辑程序设计理论与实践 7 人工智能 5 欧洲运筹学杂志 3 信息计算杂志 2 理论计算机科学 2 新一代计算 2 信息与计算 2 运筹学年鉴 2 运筹学国际交易 2 调度日志 2 数学规划计算 1 计算 1 计算机与系统科学杂志 1 运筹学 1 软件。实践与经验 1 符号计算杂志 1 国际近似推理杂志 1 计算的形式方面 1 并行与分布式计算杂志 1 机器学习 1 骨髓间充质干细胞。计算机科学中的数学结构 1 国际计算机数学杂志 1 顶部 1 人工智能研究杂志 1 4OR（或） 1 应用逻辑杂志 1 工业与管理优化杂志 1 欧洲计算优化杂志 1 图论与应用电子期刊 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 90 计算机科学（68至XX） 43 运筹学、数学规划（90-XX） 3 组合数学（05-XX） 3 数值分析（65-XX） 1 数学逻辑和基础（03-XX） 1 变分法与最优控制；最优化（49至XX） 1 凸和离散几何（52至XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文