亚当·安德森 0004
人员信息
附属: 美国华盛顿大学
其他同名人员
亚当·安德森 0001 -哈佛大学近东语言与文明系,美国马萨诸塞州剑桥 亚当·安德森 0002 -德克萨斯大学奥斯汀分校,德克萨斯州,美国 亚当·安德森 0003 -美国马里兰州大学计算机科学系,马里兰州大学帕克分校 亚当·安德森 0005 -美国加州大学伯克利分校
其他同名人员
亚当·A·K·安德森 亚当·安德森 亚当·安德森 -美国田纳西州纳什维尔范德比尔特大学 汤姆·亚当·弗雷德里克·安德森 (又名:汤姆·A·F·安德森) 亚当·安德森 0001 -加拿大安大略省多伦多大学心理学系 亚当·K·安德森 0002 -康奈尔大学人类发展系,美国纽约州伊萨卡
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2021 [j1] 钱德拉卡纳·南迪 , 马克斯·威尔西 , 艾米·朱 , 王毅苏(Yisu Remy Wang) , 布雷特·赛基 , 亚当·安德森 , 阿德里亚娜·舒尔茨 , 丹·格罗斯曼 , 扎卡里·塔特洛克 :
使用等式饱和重写规则推理。 程序。 ACM计划。 语言。 5 ( OOPSLA公司 ) : 1-28 ( 2021 ) [i2] 钱德拉卡纳·南迪 , 马克斯·威尔西 , 艾米·朱 , Yisu Remy王 , 布雷特·赛基 , 亚当·安德森 , 阿德里亚娜·舒尔茨 , 丹·格罗斯曼 , 扎卡里·塔特洛克 :
使用相等饱和度重写规则推断。 CoRR公司 abs/2108.10436 ( 2021 ) 2020 【c1】 钱德拉卡纳·南迪 , 马克斯·威尔西 , 亚当·安德森 , 詹姆斯·威尔科克斯 , 伊娃·达鲁洛娃 , 丹·格罗斯曼 , 扎卡里·塔特洛克 :
综合具有等式饱和和逆变换的结构化CAD模型。 PLDI公司 2020 : 31-44
2010 – 2019
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)