Effective SAT Planning and SAT Scheduling by Lemma Reusing

Bibliographic Information

Other Title
  • 効率的なSATプランニングとSATスケジューリングのための補題再利用

Search this article

Journal

References(17)*help

See more

Details

  • CRID
    1520853834334493696
  • NII Article ID
    110004744913
  • NII Book ID
    AA1123312X
  • ISSN
    09135685
  • NDL BIB ID
    7937821
  • Text Lang
    en
  • NDL Source Classification
    • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • Data Source
    • NDL
    • CiNii Articles

Report a problem

Back to top