private-yusuke/sat-d

Issues

• 節の数や衝突の発生回数が多いケースだと非常に遅い

  #20 opened 4 years ago by private-yusuke
  3

• CDCLSolver#history を持たないようにする

  #14 opened 4 years ago by private-yusuke
  2

• total-order 系のテストケースに弱い

  #13 opened 4 years ago by private-yusuke
  1

• Implement Restart

  #17 opened 4 years ago by private-yusuke
  2

• Implement 2 watched literal

  #18 opened 4 years ago by private-yusuke
  0

• Implement VSIDS

  #16 opened 4 years ago by private-yusuke
  0

• 与えられた clause と同一の clause を conflict clause として導出してしまう

  #12 opened 4 years ago by private-yusuke
  1

• debug ビルドと release ビルドで動作が異なる（release だと正しくない結果になる）

  #11 opened 4 years ago by private-yusuke
  1

• CDCL が正常に動作しないケースが存在する

  #10 opened 4 years ago by private-yusuke
  4

• CDCL が DPLL より遅い

  #4 opened 4 years ago by private-yusuke
  2

• 1UIP を選択するとき、いつでも Decision variable が選択されてしまっている

  #7 opened 4 years ago by private-yusuke
  0

• CDCL の突貫工事のせいでソースコードが汚い

  #5 opened 4 years ago by private-yusuke
  0

• CDCL を実装する

  #2 opened 4 years ago by private-yusuke
  0