Back to Backtracking: Controlling the ATMS. de Kleer, J. & Williams, B. C. In Proceedings of National Conference on Artificial Intelligence (AAAI), pages 910-917, 1986. Paper bibtex @inproceedings{ dblp4419172,
title = {Back to Backtracking: Controlling the ATMS},
author = {Johan de Kleer and Brian C. Williams},
author_short = {de Kleer, J. and Williams, B. C.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1986},
key = {dblp4419172},
id = {dblp4419172},
biburl = {http://www.dblp.org/rec/bibtex/conf/aaai/KleerW86a},
url = {http://www.aaai.org/Library/AAAI/1986/aaai86-151.php},
conference = {AAAI},
pages = {910-917},
text = {AAAI 1986:910-917},
booktitle = {Proceedings of National Conference on Artificial Intelligence (AAAI)}
}
Downloads: 0
{"_id":{"_str":"523738f2d0cc4d862500036d"},"__v":4,"authorIDs":["5542374df6e849247f0003cb"],"author_short":["de Kleer, J.","Williams, B. C."],"bibbaseid":"dekleer-williams-backtobacktrackingcontrollingtheatms-1986","bibdata":{"title":"Back to Backtracking: Controlling the ATMS","author":["Johan de Kleer","Brian C. Williams"],"author_short":["de Kleer, J.","Williams, B. C."],"bibtype":"inproceedings","type":"inproceedings","year":"1986","key":"dblp4419172","id":"dblp4419172","biburl":"http://www.dblp.org/rec/bibtex/conf/aaai/KleerW86a","url":"http://www.aaai.org/Library/AAAI/1986/aaai86-151.php","conference":"AAAI","pages":"910-917","text":"AAAI 1986:910-917","booktitle":"Proceedings of National Conference on Artificial Intelligence (AAAI)","bibtex":"@inproceedings{ dblp4419172,\n title = {Back to Backtracking: Controlling the ATMS},\n author = {Johan de Kleer and Brian C. Williams},\n author_short = {de Kleer, J. and Williams, B. C.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1986},\n key = {dblp4419172},\n id = {dblp4419172},\n biburl = {http://www.dblp.org/rec/bibtex/conf/aaai/KleerW86a},\n url = {http://www.aaai.org/Library/AAAI/1986/aaai86-151.php},\n conference = {AAAI},\n pages = {910-917},\n text = {AAAI 1986:910-917},\n booktitle = {Proceedings of National Conference on Artificial Intelligence (AAAI)}\n}","bibbaseid":"dekleer-williams-backtobacktrackingcontrollingtheatms-1986","role":"author","urls":{"Paper":"http://www.aaai.org/Library/AAAI/1986/aaai86-151.php"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/aaai/KleerW86a","downloads":0,"keywords":[],"search_terms":["back","backtracking","controlling","atms","de kleer","williams"],"title":"Back to Backtracking: Controlling the ATMS","year":1986,"dataSources":["vLEGngGBGAJqpBRax"]}