1: \begin{abstract}

2:  		We investigate a class of  chance-constrained combinatorial optimization problems.  Given a pre-specified risk level $\epsilon \in [0,1]$, the chance-constrained program aims to find the minimum cost selection of a vector of binary decisions  $x$

3: such that a desirable event $\mathcal{B}(x)$ occurs with probability at least 	

4: $ 1-\epsilon$. In this paper, we assume that we have an oracle that computes $\mathbb P( \mathcal{B}(x))$ exactly. Using this oracle, we propose a general exact method for solving the chance-constrained problem. 

5: In addition, we show that 

6: if the chance-constrained program is solved approximately by a sampling-based approach, then the oracle can be used as a tool for checking and fixing the feasibility of the  solution given by this approach. We demonstrate the effectiveness of our proposed methods on a probabilistic partial set covering problem (PPSC), which admits an efficient probability oracle. We give a compact mixed-integer program that  solves PPSC optimally (without sampling) for a special case.  For large-scale instances for which the exact methods exhibit slow convergence, we propose a sampling-based approach that exploits the special structure of PPSC. In particular, we introduce a  new class of facet-defining inequalities for a submodular substructure of PPSC, and show that a sampling-based algorithm coupled with the probability oracle provides high-quality feasible solutions to the large-scale test instances effectively.

7: \end{abstract}

8: