%0 Conference Paper %1 conf/ictai/NabeshimaIH00 %A Nabeshima, Hidetomo %A Inoue, Katsumi %A Haneda, Hiromasa %B ICTAI %D 2000 %I IEEE Computer Society %K dblp %P 96-103 %T Implementing an action language using a SAT solver. %U http://dblp.uni-trier.de/db/conf/ictai/ictai2000.html#NabeshimaIH00 %@ 0-7695-0909-6

@inproceedings{conf/ictai/NabeshimaIH00, added-at = {2014-12-19T00:00:00.000+0100}, author = {Nabeshima, Hidetomo and Inoue, Katsumi and Haneda, Hiromasa}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/226bc1c769d8b8f7ca636f72faf51bd68/dblp}, booktitle = {ICTAI}, crossref = {conf/ictai/2000}, ee = {http://doi.ieeecomputersociety.org/10.1109/TAI.2000.889852}, interhash = {0362466b798dda882541dd47794f4b52}, intrahash = {26bc1c769d8b8f7ca636f72faf51bd68}, isbn = {0-7695-0909-6}, keywords = {dblp}, pages = {96-103}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T12:46:18.000+0100}, title = {Implementing an action language using a SAT solver.}, url = {http://dblp.uni-trier.de/db/conf/ictai/ictai2000.html#NabeshimaIH00}, year = 2000 }