dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jörg Hoffmann (Selection)

INRIA Nancy / University Freiburg / Max Planck Institute for Computer Science

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Bart Selman: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. AAAI Press 2012
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz: SAT Encodings of State-Space Reachability Problems in Numeric Domains. IJCAI 2007: 1918-1923
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman: From Sampling to Model Counting. IJCAI 2007: 2293-2299
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman: Sampling and Soundness: Can We Have Both? New Forms of Reasoning for the Semantic Web 2007
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman: Short XORs for Model Counting: From Theory to Practice. SAT 2007: 100-106
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Carla P. Gomes, Bart Selman: Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning CoRR abs/cs/0701184: (2007)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Carla P. Gomes, Bart Selman: Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. Logical Methods in Computer Science 3(1): (2007)
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Carla P. Gomes, Bart Selman: Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. ICAPS 2006: 284-293
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDerek Long, Henry A. Kautz, Bart Selman, Blai Bonet, Hector Geffner, Jana Koehler, Michael Brenner, Jörg Hoffmann, Frank Rittinger, Corin R. Anderson, Daniel S. Weld, David E. Smith, Maria Fox: The AIPS-98 Planning Competition. AI Magazine 21(2): 13-33 (2000)

Selection of 9 from 94 records - Jörg Hoffmann has 116 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page