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

Henry A. Kautz (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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


86Electronic 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
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman: Dynamic Restart Policies. AAAI/IAAI 2002: 674-681
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel: Balance and Filtering in Structured Satisfiable Problems. IJCAI 2001: 351-358
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering: A Bayesian Approach to Tackling Hard Computational Problems. UAI 2001: 235-244
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel: Balance and Filtering in Structured Satisfiable Problems (Preliminary Report). Electronic Notes in Discrete Mathematics 9: 2-18 (2001)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering: A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report). Electronic Notes in Discrete Mathematics 9: 376-391 (2001)
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman: Generating Satisfiable Problem Instances. AAAI/IAAI 2000: 256-261
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz: Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. J. Autom. Reasoning 24(1/2): 67-100 (2000)
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla P. Gomes, Bart Selman, Henry A. Kautz: Boosting Combinatorial Search Through Randomization. AAAI/IAAI 1998: 431-437

Selection of 9 from 108 records - Henry A. Kautz has 102 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