Planning as Satisfiability. Kautz, H. & Selman, B. In ECAI-92, 1992.
bibtex   
@inproceedings{Kautz+Selman:1992,
	year = 1992,
	author = "Henry Kautz and Bart Selman",
	title = "Planning as Satisfiability",
	booktitle = ecai92,
	_address = "Vienna",
	_publisher = wiley,
 _pages = "359--363"
}

Downloads: 0