Publications

8 results at AAAI 2013

Resolution and parallelizability: Barriers to the efficient parallelization of SAT solvers
- - George Katsirelos
  - Ashish Sabharwal
  - et al.
- 2013
- AAAI 2013
Discovering hierarchical structure for sources and entities
- - Aditya Pal
  - Nilesh Dalvi
  - et al.
- 2013
- AAAI 2013
Online optimization with dynamic temporal uncertainty: Incorporating short term predictions for renewable integration in intelligent energy systems
- - Vikas K. Garg
  - T.S. Jayram
  - et al.
- 2013
- AAAI 2013
Clustering crowds
- - Hiroshi Kajino
  - Yuta Tsuboi
  - et al.
- 2013
- AAAI 2013
Hypothesis exploration for malware detection using planning
- - Shirin Sohrabi
  - Octavian Udrea
  - et al.
- 2013
- AAAI 2013
Multiscale manifold learning
- - Chang Wang
  - Sridhar Mahadevan
- 2013
- AAAI 2013
Large landscape conservation - Synthetic and real-world datasets
- - Bistra Dilkina
  - Katherine Lai
  - et al.
- 2013
- AAAI 2013
Automated design of search with composability
- - Ashish Sabharwal
  - Horst Samulowitz
  - et al.
- 2013
- AAAI 2013