代数问题的自动生成

罗希特·辛格,苏米特·古尔瓦尼,斯里拉姆·拉贾马尼.代数问题的自动生成.约格·霍夫曼,巴特·塞尔曼,编辑,2012年7月22日至26日在加拿大安大略省多伦多举行的第二十六届AAAI人工智能会议记录.1620-1628,AAAI出版社,2012 [美国国防部]

摘要

缺少摘要。