Travelled to:
1 × Finland
1 × Italy
2 × USA
Collaborated with:
P.Tadepalli S.Roncagliolo H.Samulowitz A.Sabharwal M.Sellmann
Talks about:
learn (3) decomposit (2) rule (2) goal (2) portfolio (1) algorithm (1) speedup (1) program (1) exercis (1) theori (1)
Person: Chandra Reddy
DBLP: Reddy:Chandra
Contributed to:
Wrote 4 papers:
- SAT-2013-SamulowitzRSS #algorithm #named
- Snappy: A Simple Algorithm Portfolio (HS, CR, AS, MS), pp. 422–428.
- ICML-1998-ReddyT #first-order #learning #source code
- Learning First-Order Acyclic Horn Programs from Entailment (CR, PT), pp. 472–480.
- ICML-1997-ReddyT #learning #using
- Learning Goal-Decomposition Rules using Exercises (CR, PT), pp. 278–286.
- ICML-1996-ReddyTR #composition #empirical #learning
- Theory-guided Empirical Speedup Learning of Goal Decomposition Rules (CR, PT, SR), pp. 409–417.