%0 Conference Paper %1 conf/aia/NabeshimaNI05 %A Nabeshima, Hidetomo %A Nozawa, Hirohito %A Iwanuma, Koji %B Artificial Intelligence and Applications %D 2005 %E Hamza, M. H. %I IASTED/ACTA Press %K dblp %P 1-5 %T Effective SAT Planning by Lemma-Reusing. %U http://dblp.uni-trier.de/db/conf/aia/aia2005.html#NabeshimaNI05 %@ 0-88986-459-4

@inproceedings{conf/aia/NabeshimaNI05, added-at = {2005-10-17T00:00:00.000+0200}, author = {Nabeshima, Hidetomo and Nozawa, Hirohito and Iwanuma, Koji}, biburl = {https://www.bibsonomy.org/bibtex/289646bd2bb6736ceb55ca4f2789a6349/dblp}, booktitle = {Artificial Intelligence and Applications}, crossref = {conf/aia/2005}, date = {2005-10-17}, description = {dblp}, editor = {Hamza, M. H.}, interhash = {f1beb5742f1fd027555fd534a32e0fc3}, intrahash = {89646bd2bb6736ceb55ca4f2789a6349}, isbn = {0-88986-459-4}, keywords = {dblp}, pages = {1-5}, publisher = {IASTED/ACTA Press}, timestamp = {2005-10-17T00:00:00.000+0200}, title = {Effective SAT Planning by Lemma-Reusing.}, url = {http://dblp.uni-trier.de/db/conf/aia/aia2005.html#NabeshimaNI05}, year = 2005 }