DPLL
DPLL
DPLLアルゴリズム - 充足可能性問題を解くアルゴリズムの1つ。
デジタル位相同期回路の略。