A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT
- Siddhartha Jain
- Ashish Sabharwal
- et al.
- 2011
- AAAI 2011
Publications
Date
Featured collections
Popular topics
17 results for Ashish Sabharwal
Automated design of search with composability
- Ashish Sabharwal
- Horst Samulowitz
- et al.
- 2013
- AAAI 2013
Optimal spatio-temporal emergency crew planning for a distribution system
- A. Koc
- Amith Singhee
- et al.
- 2015
- PESGM 2015
Algorithm portfolios based on cost-sensitive hierarchical clustering
- Yuri Malitsky
- Ashish Sabharwal
- et al.
- 2013
- IJCAI 2013
Optimization with parity constraints: From binary codes to discrete integration
- Stefano Ermon
- Carla P. Gomes
- et al.
- 2013
- UAI 2013
Tradeoffs in the complexity of backdoors to satisfiability: Dynamic sub-solvers and learning during search
- Bistra Dilkina
- Carla P. Gomes
- et al.
- 2014
- Ann. Math. Artif. Intell.
Wildlife corridors as a connected subgraph problem
- Jon M. Conrad
- Carla P. Gomes
- et al.
- 2012
- Journal of Environmental Economics and Management