%0 Conference Paper %1 conf/ictai/IwenM02a %A Iwen, Mark A. %A Mali, Amol Dattatraya %B ICTAI %D 2002 %I IEEE Computer Society %K dblp %P 199-208 %T DSatz: A Directional SAT Solver for Planning. %U http://dblp.uni-trier.de/db/conf/ictai/ictai2002.html#IwenM02a %@ 0-7695-1849-4

@inproceedings{conf/ictai/IwenM02a, added-at = {2023-03-24T00:00:00.000+0100}, author = {Iwen, Mark A. and Mali, Amol Dattatraya}, biburl = {https://www.bibsonomy.org/bibtex/2e01d0cfb2d879b5f89368a81e86a13ae/dblp}, booktitle = {ICTAI}, crossref = {conf/ictai/2002}, ee = {https://doi.ieeecomputersociety.org/10.1109/TAI.2002.1180805}, interhash = {4c325dade873d6c574df9b97708a1ec6}, intrahash = {e01d0cfb2d879b5f89368a81e86a13ae}, isbn = {0-7695-1849-4}, keywords = {dblp}, pages = {199-208}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:20:36.000+0200}, title = {DSatz: A Directional SAT Solver for Planning.}, url = {http://dblp.uni-trier.de/db/conf/ictai/ictai2002.html#IwenM02a}, year = 2002 }