编辑配置文件（在新选项卡中打开） 阿西恩·阿查，罗伯托 合著者距离 作者ID： 阿辛·阿查·罗伯托 发布日期： 阿西恩·阿查，罗伯托;Achá，Roberto Asín 已编制索引的文档： 5出版物自2010年以来 合著者： 9合著者具有5份联合出版物 120位合作作者 全部的 前5名合著者 0 单一作者 2 罗伯特·尼乌文豪斯 1 Jorge A.Baier。 1 塞巴斯蒂安·哈格多恩 1 多里特·霍奇鲍姆。 1 艾文德·贾伦 1 罗德里戈洛佩斯 1 阿尔伯特·奥利弗拉斯 1 恩里克·罗德里格斯-卡博内尔 1 斯潘，基科 系列 三 运筹学年鉴 1 人工智能通信 1 人工智能研究杂志 领域 三 运筹学、数学规划（90-XX） 2 计算机科学（68至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用22中的次20文件 引用人▼ 年份▼ SAT和MaxSAT基于课程的课程时间表。 Zbl 1301.90023号 Achá，Roberto Asín;罗伯特·尼乌文豪斯 18 2014 SAT求解器中不可满足性证明和核心生成的实用算法。 Zbl 1208.68195号 阿西恩·阿查，罗伯托;罗伯特·尼乌文豪斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 2 2010 汽车排序问题的列生成方法和新边界。 Zbl 1390.90466号 艾文德·贾伦;阿查，罗伯托·阿辛 1 2018 HNCcorr：神经元识别的组合优化。 Zbl 1496.90070号 罗伯托·阿辛·阿查;多里特·霍奇鲍姆。;斯潘，基科 1 2020 HNCcorr：神经元识别的组合优化。 Zbl 1496.90070号 阿西恩·阿查，罗伯托;多里特·霍奇鲍姆。;斯潘，基科 1 2020 汽车排序问题的列生成方法和新边界。 Zbl 1390.90466号 艾文德·贾伦;Achá，Roberto Asín 1 2018 SAT和MaxSAT基于课程的课程时间表。 兹比尔1301.90023 Achá，Roberto Asín;罗伯特·尼乌文豪斯 18 2014 SAT求解器中不可满足性证明和核心生成的实用算法。 Zbl 1208.68195号 阿西恩·阿查，罗伯托;罗伯特·尼乌文豪斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 2 2010 所有引用的出版物 前5名被引用出版物 全部的 前5名49位作者引用 4 林奇，因斯 4 Vasco M.Manquinho。 三 鲁本·马丁斯 三 安德烈亚·谢尔夫 2 萨拉·塞西娅 2 卢卡·迪·加斯佩罗 2 米查·卡宾斯基 2 Joáo P.塞尔瓦侯爵。 1 卡洛斯·安索特吉 1 尼尔斯·芬克·巴格尔 1 克里斯蒂娜·巴兹根 1 拉格罗·贝利奥 1 安德烈亚·贝蒂内利 1 瓦伦蒂娜·卡奇亚尼 1 塞奇拉罗娃，卡塔里纳 1 穆罕默德·萨米·谢里夫 1 切赫，阿格内斯 1 何塞·鲁伊·菲盖拉 1 乔尔·加布 1 埃里克·格雷戈里 1 安德烈亚·格雷罗。 1 贾马尔·哈贝特 1 费德里科·赫拉斯 1 多里特·霍奇鲍姆。 1 苏珊娜·扬科 1 米科拉什·亚诺塔 1 索拉巴·乔希 1 玛丽安·基雷什 1 Jean-Marie拉格尼茨 1 马克·利菲顿（Mark H.Liffiton）。 1 拉萨拉特南洛根德兰 1 沙拉德·马利克 1 米奥·卢卡什 1 安托尼奥·莫尔加多 1 莫里茨·穆伦塔勒 1 米盖尔·奈维斯（Miguel M.Neves）。 1 马雷克Piotrów 1 乔迪，飞机 1 皮·马蒂厄 1 罗伯特·罗伯托 1 奥密德沙赫瓦里 1 瑟伦森，马蒂亚斯 1 托马斯·里斯·斯蒂森 1 塔瓦纳，麦迪德 1 保罗·托斯 1 托马索·乌利 1 丹尼尔·范德普顿 1 罗尔夫·万卡 1 张杜 全部的 前5名12篇连载文章中引用 三 约束条件 2 计算机与运筹学 2 欧洲运筹学杂志 2 顶部 2 调度日志 1 人工智能 1 网络 1 理论计算机科学 1 人工智能通信 1 运筹学年鉴 1 人工智能研究杂志 1 可满足性、布尔建模与计算杂志 在2个字段中引用 12 运筹学、数学规划（90-XX） 8 计算机科学（68至XX） 按年份列出的引文