DeQED : 双対変数の値を交換する分散制約最適化アルゴリズム (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (オーガナイズドセッション「OS-04 SAT技術の理論,実装,応用」)