默认搜索操作

组合dblp搜索
作者搜索
场地搜索
出版物搜索

问别人

安蒂·埃罗·约翰内斯·海瓦里宁

安蒂·海瓦里宁

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tissec/OtoniMAEHS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tissec/OtoniMAEHS23
罗德里戈·奥托尼,马泰奥·马雷斯科蒂,莱昂纳多Alt,帕特里克·尤格斯特,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
智能合同验证的一种吸引人的方法。 ACM事务处理。私人安全。 26(2):15:1-15:28(2023)
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/BritikovHS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/BritikovHS23
康斯坦丁·布里蒂科夫,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
挑剔的CDCL:SMT-Solving with Flexible Literal Selection。 VSTTE公司 2023:1-19
2022
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/AsadiBHFS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/AsadiBHFS22
塞皮德·阿萨迪,马丁·布利查,安蒂·海瓦里宁,格里戈里·费德尤科维奇,娜塔莎·莎莉吉娜:
通过概要修复对基于SMT的程序更改进行验证。形式方法系统。设计。 60(三):350-380(2022)
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BlichaHKS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BlichaHKS22
马丁·布利查,Antti E.J.海夫里宁,扬·科夫伦,娜塔莎·莎莉吉娜:
在Farkas插值分解中使用线性代数。国际期刊软件。技术工具。变压器。 24(1):111-125(2022)
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AltBHS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AltBHS22
莱昂纳多Alt,马丁·布利查,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
SolCMC：Solidity编译器的模型检查器。 CAV（1） 2022:325-338
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BlichaFHS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BlichaFHS22
马丁·布利查,格里戈里·费德尤科维奇,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
分离过渡功率抽象，实现无限安全。 FMCAD公司 2022:349-358
[公元39年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BlichaFHS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BlichaFHS22网址
马丁·布利查,格里戈里·费德尤科维奇,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
深度反例检测的转移功率提取。 TACAS（1） 2022:524-542
[e1]
- 看法
- 出口记录
  dblp键：
  - conf/smt/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/2022
大卫·戴哈贝,安蒂·海瓦里宁:
第八届联邦逻辑会议（FLoC 2022）第十一届国际自动推理联合会议（IJCAR 2022）的第二十届可满足模理论内部研讨会会议记录，以色列海法，2022年8月11-12日。 CEUR研讨会记录3185,CEUR-WS.org公司 2022 [目录]
2021
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dac/OtoniBEHS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dac/OtoniBEHS21
罗德里戈·奥托尼,马丁·布利查,帕特里克·尤格斯特,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
证明SMT执行正确性的理论特定证明步骤。数模转换器 2021:541-546
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/HyvarinenMS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HyvarinenMS21
安蒂·海瓦里宁,马泰奥·马雷斯科蒂,娜塔莎·莎莉吉娜:
分区SMT中的前瞻。 FMCAD公司 2021:271-279
2020
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/AsadiBHFS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AsadiBHFS20
塞皮德·阿萨迪,马丁·布利查,安蒂·海瓦里宁,格里戈里·费德尤科维奇,娜塔莎·莎莉吉娜:
基于SMT的概要修复的增量验证。 FMCAD公司 2020:77-82
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/MarescottiOAEHS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/MarescottiOAEHS20
马泰奥·马雷斯科蒂,罗德里戈·奥托尼,莱昂纳多Alt,帕特里克·尤格斯特,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
通过直接建模进行准确的智能合同验证。 ISoLA（3） 2020:178-194
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/AsadiBHFS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/AsadiBHFS20
塞皮德·阿萨迪,马丁·布利查,安蒂·海瓦里宁,格里戈里·费德尤科维奇,娜塔莎·莎莉吉娜:
基于Farkas的树插值。 SAS公司 2020:357-379
[c33]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/BlichaHMS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/BlichaHMS20
马丁·布利查,安蒂·海瓦里宁,马泰奥·马雷斯科蒂,娜塔莎·莎莉吉娜:
一种面向属性的k-归纳的协同并行化方法。 VMCAI公司 2020:270-292

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/JancikKAFHS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/JancikKAFHS19
帕维尔·扬西克,扬·科夫伦,莱昂纳多Alt,格里戈里·费德尤科维奇,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
在基于插值的模型检查中利用部分变量赋值。形式方法系统。设计。 55(1):33-71(2019)
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/Even-MendozaHCS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/Even-MendozaHCS19
卡琳·埃文·蒙多萨,安蒂·海瓦里宁,哈娜·乔克勒,娜塔莎·莎莉吉娜:
基于格的SMT用于程序验证。记忆码 2019:16:1-16:11
[公元31年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BlichaHKS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BlichaHKS19
马丁·布利查,安蒂·海瓦里宁,扬·科夫伦,娜塔莎·莎莉吉娜:
分解Farkas插值。 TACAS（1） 2019:3-20
2018
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/MarescottiBHAS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/MarescottiBHAS18
马泰奥·马雷斯科蒂,马丁·布利查,安蒂·海瓦里宁,塞皮德·阿萨迪,娜塔莎·莎莉吉娜:
计算智能合约的精确最坏情况天然气消耗量。 ISoLA（4） 2018:450-465
[公元29年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AsadiBFHESC18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AsadiBFHESC18
塞皮德·阿萨迪,马丁·布利查,格里戈里·费德尤科维奇,安蒂·海瓦里宁,卡琳·埃文·门多萨,娜塔莎·莎莉吉娜,哈娜·乔克勒:
函数概述模理论。 LPAR公司 2018:56-75
[公元28年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HyvarianenMSCS18文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HyvarinenMSCS18
安蒂·海瓦里宁,马泰奥·马雷斯科蒂,帕文·萨迪戈娃,哈娜·乔克勒,娜塔莎·莎莉吉娜:
基于外观的SMT解决方案。 LPAR公司 2018:418-434
[公元27年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/MarescottiHS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/MarescottiHS18
马泰奥·马雷斯科蒂,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
SMTS：分布式可视化约束求解。 LPAR公司 2018:534-542
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Even-MendozaAHC18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Even-MendozaAHC18
卡琳·埃文·蒙多萨,塞皮德·阿萨迪,安蒂·海瓦里宁,哈娜·乔克勒,娜塔莎·莎莉吉娜:
有界模型检验中的基于格的精化。 VSTTE公司 2018:50-68
[第3页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/18/HyvarinenW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/18/HyvarinenW18
安蒂·海瓦里宁,克里斯托弗·温特斯泰格:
并行可满足模理论。并行约束推理手册 2018:141-178
2017
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/AltHAS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AltHAS17
莱昂纳多Alt,安蒂·埃罗·约翰内斯·海瓦里宁,塞皮德·阿萨迪,娜塔莎·莎莉吉娜:
基于对偶的插值，用于无量词的等式和未解释的函数。 FMCAD公司 2017:39-46
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/MarescottiGHS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/MarescottiGHS17
马泰奥·马雷斯科蒂,阿里·古芬克尔,安蒂·埃罗·约翰内斯·海瓦里宁,娜塔莎·莎莉吉娜:
设计并行PDR。 FMCAD公司 2017:156-163
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/AltHS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/AltHS17
莱昂纳多Alt,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
上帝抵抗军刑警来自无人区。海法核查会议 2017:195-210
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/HyvarinenAMFCS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/HyvarinenAMFCS17
安蒂·海瓦里宁,塞皮德·阿萨迪,卡琳·埃文·门多萨,格里戈里·费德尤科维奇,哈娜·乔克勒,娜塔莎·莎莉吉娜:
程序验证的理论改进。坐 2017:347-363
【c21】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/BudakovicMHS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/BudakovicMHS17
耶莱娜·布达科维奇,马泰奥·马雷斯科蒂,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
可视化基于SMT的并行约束求解。表面贴装技术 2017:40-49
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AltACMFHS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AltACMFHS17
莱昂纳多Alt,塞皮德·阿萨迪,哈娜·乔克勒,卡琳·埃文·蒙多萨,格里戈里·费德尤科维奇,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
HiFrog：基于SMT的软件验证功能总结。 TACAS（2） 2017:207-213
2016
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MarescottiHS16会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MarescottiHS16
马泰奥·马雷斯科蒂,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
基于云的SMT解决的子句共享和分区。 ATVA公司 2016:428-443
[c18]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/JancikAFHKS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/JancikAFHKS16
帕维尔·扬西克,莱昂纳多Alt,格里戈里·费德尤科维奇,安蒂·海瓦里宁,扬·科夫伦,娜塔莎·莎莉吉娜:
PVAIR：部分变量赋值插值器。 FASE公司 2016:419-434
[c17]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/HyvarinenMAS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/HyvarinenMAS16
安蒂·海瓦里宁,马泰奥·马雷斯科蒂,莱昂纳多Alt,娜塔莎·莎莉吉娜:
OpenSMT2：用于多核和云计算的SMT解算器。坐 2016:547-553
2015
[第16条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/FedyukovichDHS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/FedyukovichDHS15
格里戈里·费德尤科维奇,安德烈亚·卡利亚·迪迪奥,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
用于有界模型检查的断言依赖的符号检测。 FASE公司 2015:186-201
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memics/HyvarinenAS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memics/HyvarinenAS15
安蒂·海瓦里宁,莱昂纳多Alt,娜塔莎·莎莉吉娜:
用于高效模型检查的灵活插值。 MEMICS公司 2015:11-22
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/HyvarinenMS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/HyvarinenMS15
安蒂·海瓦里宁,马泰奥·马雷斯科蒂,娜塔莎·莎莉吉娜:
并行SMT求解器的搜索空间分区。坐 2015:369-386
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/AltFHS15型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/AltFHS15
莱昂纳多Alt,格里戈里·费德尤科维奇,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
小命题插值的一种证明敏感方法。 VSTTE公司 2015:1-18
[第2页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/15/RolliniAFHS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/15/RolliniAFHS15
西蒙·富尔维奥·罗里尼,莱昂纳多Alt,格里戈里·费德尤科维奇,安蒂·埃罗·约翰内斯·海瓦里宁,娜塔莎·莎莉吉娜:
通过插值优化函数摘要。进化软件的验证 2015:73-82
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 书籍/sp/15/牧师HFSSM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/15/PastoreMHFSSM15
法布里奇奥·帕斯托尔,莱昂纳多·马里亚尼,安蒂·埃罗·约翰内斯·海瓦里宁,格里戈里·费德尤科维奇,娜塔莎·莎莉吉娜,Stephan Sehestedt公司,阿里·穆罕默德:
C软件变更的回归检查。进化软件的验证 2015:185-207
2014
[c12]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issta/PastoreMHFSSM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issta/PastoreMHFSSM14
法布里奇奥·帕斯托尔,莱昂纳多·马里亚尼,安蒂·埃罗·约翰内斯·海瓦里宁,格里戈里·费德尤科维奇,娜塔莎·莎莉吉娜,斯蒂芬·塞赫斯特德,阿里·穆罕默德:
验证辅助回归测试。 ISSTA公司 2014:37-48
2013
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csmr/节流阀DLFHMMORSST13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csmr/ChocklerDLFHMMORSST13
哈娜·乔克勒,乔瓦尼·德纳罗,梅佳玲,格里戈里·费德尤科维奇,安蒂·埃罗·约翰内斯·海瓦里宁,莱昂纳多·马里亚尼,阿里·穆罕默德,曼努埃尔·奥廖尔,阿吉塔·拉詹,昂德雷·塞里,娜塔莎·莎莉吉娜,迈克尔·陶奇尼格:
PINCETTE-验证网络软件中的更改和升级。 CSMR公司 2013:461-464
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ddecs/FedyukovichHS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ddecs/FedyukovichHS13
格里戈里·费德尤科维奇,安蒂·海瓦里宁,娜塔莎·莎莉吉娜:
基于插值的模型检查，用于软件的高效增量分析。 DDECS公司 2013:8-9
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/RolliniAFHS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/RolliniAFHS13
西蒙·富尔维奥·罗里尼,莱昂纳多Alt,格里戈里·费德尤科维奇,安蒂·埃罗·约翰内斯·海瓦里宁,娜塔莎·莎莉吉娜:
PeRIPLO：在基于SAT的软件验证中生成有效插值的框架。 LPAR公司 2013:683-693
2012
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/HyvarinenM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/HyvarinenM12
安蒂·埃罗·约翰内斯·海瓦里宁,诺伯特·曼泰:
设计可扩展的并行SAT解算器。坐 2012:214-227
2011
【b1】
- 看法
  - 电子版@aalto.fi
  - 没有参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 博士/基础搜索/Hyvarinen11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/basesearch/Hyvarinen11
安蒂·埃罗·约翰内斯·海瓦里宁:
基于网格的命题可满足性求解。芬兰赫尔辛基阿尔托大学，2011
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/HyvarinenJN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/HyvarinenJN11
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
随机搜索的搜索空间划分。芬丹。信息学 107(2-3):289-311(2011)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cp/HyvarinenJN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cp/HyvarinenJN11
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
基于网格的SAT求解与迭代分区和子句学习。人物配对关系 2011:385-399
2010
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HyvarinenJN10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HyvarinenJN10
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
用于分布式解决的分区SAT实例。 LPAR（日惹） 2010:372-386

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/HyvarinenJN09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/HyvarinenJN09
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
在基于网格的随机SAT求解中引入子句学习。 J.满意。布尔模型。计算。 6(4):223-244(2009)
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aiia/HyvarinenJN09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiia/HyvarinenJN09
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
随机搜索的搜索空间划分。 AI*IA公司 2009:243-252
2008
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amsa/HyvarinenJN08会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aimsa/HyvarinenJN08
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
将学习纳入基于网格的随机SAT求解。 AIMSA公司 2008:247-261
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/HyvarinenJN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/HyvarinenJN08
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
通过随机搜索解决网格中SAT的策略。 AISC/MKM/结石 2008:125-140
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cbms/PitkanenZHM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cbms/PitkanenZHM08
Mikko Juhani Pitkänen先生,忻州,安蒂·埃罗·约翰内斯·海瓦里宁,亨宁·米勒:
使用网格提高医学图像搜索引擎的性能。 CBMS公司 2008:367-372
2006
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/HyvarinenJN06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/HyvarinenJN06
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
求解网格中SAT的一种分布方法。坐 2006:430-435

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。