প্রদর্শন 1 - 2 ফলাফল এর 2 অনুসন্ধানের জন্য '"Logic and constraint programming."', জিজ্ঞাসা করার সময়: 0.02সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1

    Disjunctive datalog. অনুযায়ী Eiter, Thomas

    প্রকাশিত ACM transactions on database systems.
    প্রবন্ধ

    Disjunctive datalog.
  2. 2

    On sufficient conditions for unsatisfiability of random formulas. অনুযায়ী Atserias, Albert

    প্রকাশিত Journal of the ACM
    প্রবন্ধ

    On sufficient conditions for unsatisfiability of random formulas.

অনুসন্ধান সাধনীগুলি: