Algorithm 3. Pseudocode of MIN_CONFLICTS for MCMC-LTMS.

MIN_CONFLICTS (conf_atom_clause)

Inputs: conf_atom_clause, a conflict atom, conflict atom set, false clause or false clause set Outputs: the set of minimal conflicts

conflict = {} for item in conf_atom_clause   if(item is a mode atom and is true)     conflict0 = {item}   else if(item is a non-mode atom or clause)     conflict0 = {}     for i in item’s support set       conflict0 = MIN_PRODUCT(conflict0, MIN_CONFLICTS(i))   else     conflict0 = {}   conflict = MIN_PLUS(conflict, conflict0) return conflict