Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
罗希特·辛格,苏米特·古尔瓦尼,斯里拉姆·拉贾马尼.代数问题的自动生成.在约格·霍夫曼,巴特·塞尔曼,编辑,2012年7月22日至26日在加拿大安大略省多伦多举行的第二十六届AAAI人工智能会议记录.页1620-1628,AAAI出版社,2012 [美国国防部]
缺少摘要。