×

BliStr公司

swMATH ID: 16818
软件作者： J·厄本。
描述： BliStr：盲目的战略制定者。BliStr是一个针对大量问题自动开发E Provider策略的系统。其主要思想是将（i）在类似的简单问题的小集合上迭代低时限局部搜索新策略与（ii）在所有问题上对新策略进行更高时限的评估交织在一起。全局高时间极限运行的累积结果用于定义和演化“类似简单问题”的概念，并控制下一个待改进策略的选择。该技术用于显著加强MaLARea、PS-E、E-MaLeS和E系统在图灵CASC2012年的比赛，特别是在米扎尔赛区。在Flyspeck语料库产生的问题上也取得了类似的改进。
主页： http://arxiv.org/abs/1301.2683
相关软件： E定理证明器;吸血鬼;马拉雷亚;Flyspeck飞点;米扎尔;MPTP 0.2;BliStrTune;MaLeCoP公司;马什;HOL灯;月收入;伊西查尔;HOLyHammer公司;大锤;电子邮件;MPTP公司;伊莎贝尔/HOL;z3（零3）;TPTP公司;水獭
引用于： 22文件
全部的 前5名

34位作者引用

18 约瑟夫·乌尔班
8 塞萨里·卡利西克
7 Jakubův，简
三 卡雷尔·奇瓦洛夫斯克
三 米罗斯拉夫·奥沙克
2 丹尼尔·库尔温
2 斯蒂芬·舒尔茨
2 维斯科基尔
1 格拉泽戈兹·班塞雷克
1 贾斯敏·克里斯蒂安·布兰切特
1 Czesław拜林斯基
1 雅克·弗莱里奥特。
1 高蒂尔，蒂博
1 查拉图斯特拉·阿马德乌斯·戈泽尔
1 亚当·格拉博夫斯基
1 大卫·格林纳韦
1 Edvard K.霍尔顿。
1 哈拉，简
1 贾尼契奇，普雷德拉格
1 米科拉什·亚诺塔
1 姜亚青
1 阿图尔·科尔尼·奥维茨
1 康斯坦丁·科洛文
1 佐尔坦科瓦奇
1 卢卡什库贝
1 韦斯纳·马林科维奇
1 罗马人Matuszewski
1 亚当·纳莫维奇
1 姆拉丹·尼科利奇
1 Pąk，卡罗尔
1 帕帕帕纳吉奥图，Petros
1 亚当·皮斯
1 苏达，马丁
1 杰夫·萨特克利夫
全部的 前5名

6篇连载文章中引用

4 自动推理杂志
1 符号计算杂志
1 国际近似推理杂志
1 AI通信
1 数学与人工智能年鉴
1 计算机科学中的数学

在3个字段中引用

22 计算机科学（68至XX）
1 数论（11-XX）
1 几何图形（51-XX）

按年份列出的引文