lass="mdescRight"><code>EXPERIMENTAL = 3;</code>  <a href="enumcom_1_1google_1_1ortools_1_1sat_1_1SatParameters_1_1ConflictMinimizationAlgorithm.html#a0eb813ee7593743501f4110d2a6aea1e">More...</a><br /></td></tr>
<tr class="separator:a0eb813ee7593743501f4110d2a6aea1e"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table>
<h2 class="groupheader">Member Function Documentation</h2>
<a id="a720de651a6a79a3ee4af9e17b0d3575f"></a>
<h2 class="memtitle"><span class="permalink"><a href="#a720de651a6a79a3ee4