text: var searchData=
  [
    ['decisionstrategyproto_5fdomainreductionstrategy_0',['DecisionStrategyProto_DomainReductionStrategy',['../namespaceoperations__research_1_1sat.html#a0ab0c4789d577b30dde661c19f88d00e',1,'operations_research::sat']]],
    ['decisionstrategyproto_5fvariableselectionstrategy_1',['DecisionStrategyProto_VariableSelectionStrategy',['../namespaceoperations__research_1_1sat.html#a94523f1ebceff999bc59a3db7d2b98b6',1,'operations_research::sat']]]
  ];
  