%0 Conference Paper %1 conf/aaai/SinghGR12 %A Singh, Rohit %A Gulwani, Sumit %A Rajamani, Sriram K. %B AAAI %D 2012 %E Hoffmann, Jörg %E Selman, Bart %I AAAI Press %K dblp %P 1620-1628 %T Automatically Generating Algebra Problems. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2012.html#SinghGR12

@inproceedings{conf/aaai/SinghGR12, added-at = {2023-09-04T00:00:00.000+0200}, author = {Singh, Rohit and Gulwani, Sumit and Rajamani, Sriram K.}, biburl = {https://www.bibsonomy.org/bibtex/2aa3605eb1db9484bc8b27417ef3a8c0a/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2012}, editor = {Hoffmann, Jörg and Selman, Bart}, ee = {https://doi.org/10.1609/aaai.v26i1.8341}, interhash = {8275e4d4b71d3c12312d1cd6488ac652}, intrahash = {aa3605eb1db9484bc8b27417ef3a8c0a}, keywords = {dblp}, pages = {1620-1628}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:13:01.000+0200}, title = {Automatically Generating Algebra Problems.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2012.html#SinghGR12}, year = 2012 }