BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × United Kingdom
2 × Canada
6 × USA
Collaborated with:
B.Selman P.Beame D.A.McAllester T.Sang D.J.Patterson A.Sabharwal Y.Ruan C.P.Gomes Y.Huang W.W.Cohen W.S.Lasecki Y.C.Song J.P.Bigham F.Bacchus T.Pitassi E.Horvitz D.M.Chickering D.Achlioptas M.E.Stickel
Talks about:
problem (4) learn (3) structur (2) walksat (2) model (2) logic (2) count (2) claus (2) plan (2) hard (2)

Person: Henry A. Kautz

DBLP DBLP: Kautz:Henry_A=

Contributed to:

CSCW 20132013
SAT 20052005
SAT 20042004
SAT 20032003
SAT 20012001
CADE 20002000
ICML 20002000
KDD 20002000
KR 19961996
KR 19891989

Wrote 13 papers:

CSCW-2013-LaseckiSKB #process #realtime #recognition
Real-time crowd labeling for deployable activity recognition (WSL, YCS, HAK, JPB), pp. 1203–1212.
SAT-2005-SangBK #heuristic #performance
Heuristics for Fast Exact Model Counting (TS, PB, HAK), pp. 226–240.
SAT-2004-SangBBKP #component #effectiveness #learning
Combining Component Caching and Clause Learning for Effective Model Counting (TS, FB, PB, HAK, TP), pp. 20–28.
SAT-2003-SabharwalBK #learning #performance #problem #using
Using Problem Structure for Efficient Clause Learning (AS, PB, HAK), pp. 242–256.
SAT-2001-HorvitzRGKSC #approach #problem
A Bayesian Approach to Tackling Hard Computational Problems (EH, YR, CPG, HAK, BS, DMC), pp. 376–391.
SAT-2001-KautzRAGSS #problem #satisfiability
Balance and Filtering in Structured Satisfiable Problems (HAK, YR, DA, CPG, BS, MES), pp. 2–18.
SAT-2001-KautzS #named
Preface: Volume 9 (HAK, BS), p. 1.
SAT-2001-PattersonK #implementation #named #self
Auto-Walksat: A Self-Tuning Implementation of Walksat (DJP, HAK), pp. 360–368.
CADE-2000-Kautz #information management #reasoning #representation #scalability
Scalable Knowledge Representation and Reasoning Systems (HAK), p. 183.
ICML-2000-HuangSK #constraints #declarative #learning
Learning Declarative Control Rules for Constraint-BAsed Planning (YCH, BS, HAK), pp. 415–422.
Hardening soft information sources (WWC, HAK, DAM), pp. 255–259.
KR-1996-KautzMS #encoding #logic
Encoding Plans in Propositional Logic (HAK, DAM, BS), pp. 374–384.
KR-1989-KautzS #logic #problem
Hard Problems for Simple Default Logics (HAK, BS), pp. 189–197.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.