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