Showing 1 - 3 results of 3 for search '"Decision problems."', 查詢時間: 0.02s Refine Results
  1. 1

    Satisfiability of word equations with constants is in PSPACE. 由 Plandowski, Wojciech

    發表在 Journal of the ACM
    Article

    Satisfiability of word equations with constants is in PSPACE.
  2. 2

    Register-machine based processes. 由 Bergstra, Jan A.

    發表在 Journal of the ACM
    Article

    Register-machine based processes.
  3. 3

    Production scheduling in a semiconductor wafer fabrication facility producing multiple product types with distinct due dates. 由 Yeong-Dae Kim

    Article

    Production scheduling in a semiconductor wafer fabrication facility producing multiple product types with distinct due dates.

檢索工具: