Items where Author is "Gomes, Carla P."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article
Number of items: 7.

Conference or Workshop Item (A Paper)

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.

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.

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 Gomes, Carla P. and Selman, Bart
(2006) Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006.

Article

Hoffmann, Jörg and Gomes, Carla P. and Selman, Bart
(2007) Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.
Logical Methods in Computer Science, 3 (1).

Blake, M. Brian and Haigh, Karen Zita and Hexmoor, Henry and Falcone, Rino and Soh, Leen-Kiat and Baral, Chitta and McIlraith, Sheila A. and Gmytrasiewicz, Piotr J. and Parsons, Simon and Malaka, Rainer and Krüger, Antonio and Bouquet, Paolo and Smart, Bill and Kurumantani, Koichi and Pease, Adam and Brenner, Michael and desJardins, Marie and Junker, Ulrich and Delgrande, James P. and Doyle, Jon and Rossi, Francesca and Schaub, Torsten and Gomes, Carla P. and Walsh, Toby and Guo, Haipeng and Horvitz, Eric and Ide, Nancy and Welty, Christopher A. and Anger, Frank D. and Guesgen, Hans W. and Ligozat, Gérard
(2002) AAAI 2002 Workshops.
AI Magazine, 23 (4). 113–121.

This list was generated on Tue Dec 3 15:49:21 2024 CET.
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.