Items where Author is "Sabharwal, Ashish"

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

Domshlak, Carmel and Hoffmann, Jörg and Sabharwal, Ashish
(2009) Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings.
J. Artif. Intell. Res., 36. 415–469.

Gomes, Carla P. and Hoffmann, Jörg and Sabharwal, Ashish and Selman, Bart
(2007) From Sampling to Model Counting.
In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007.

Gomes, Carla P. and Hoffmann, Jörg and Sabharwal, Ashish and Selman, Bart
(2007) Sampling and Soundness: Can We Have Both?
In: Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, tolerant and dynamic", co-located with ISWC 2007 and ASWC 2007, Busan, Korea, November 11th, 2007.

Gomes, Carla P. and Hoffmann, Jörg and Sabharwal, Ashish and Selman, Bart
(2007) Short XORs for Model Counting: From Theory to Practice.
In: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings.

Hoffmann, Jörg and Sabharwal, Ashish and Domshlak, Carmel
(2006) Friends or Foes? An AI Planning Perspective on Abstraction and Search.
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006.

This list was generated on Wed Oct 9 11:46:31 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.