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
Number of items: 7.

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.

Conference or Workshop Item

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.

This list was generated on Thu Apr 25 00:02:54 2019 CEST.