Items where Author is "Kautz, Henry A."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference or Workshop Item (A Paper)

Hoffmann, Jörg and Gomes, Carla P. and Selman, Bart and Kautz, Henry A.
(2007) SAT Encodings of State-Space Reachability Problems in Numeric Domains.
In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007.

Article

Long, Derek and Kautz, Henry A. and Selman, Bart and Bonet, Blai and Geffner, Hector and Koehler, Jana and Brenner, Michael and Hoffmann, Jörg and Rittinger, Frank and Anderson, Corin R. and Weld, Daniel S. and Smith, David E. and Fox, Maria
(2000) The AIPS-98 Planning Competition.
AI Magazine, 21 (2). 13–33.

This list was generated on Fri Jun 21 16:54:30 2024 CEST.