Items where Author is "Selman, Bart"

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).

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.

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 Wed Jul 17 00:03:39 2019 CEST.