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.

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
(2007) Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.
Logical Methods in Computer Science, 3 (1).

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.

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 Apr 19 23:23:42 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.