Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm '"Complexity of proof procedures."', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 1

    Resolution lower bounds for the weak pigeonhole principle. Bằng Raz, R.

    Xuất bản năm Journal of the ACM
    Bài viết

    Resolution lower bounds for the weak pigeonhole principle.
  2. 2

    On sufficient conditions for unsatisfiability of random formulas. Bằng Atserias, Albert

    Xuất bản năm Journal of the ACM
    Bài viết

    On sufficient conditions for unsatisfiability of random formulas.

Công cụ tìm kiếm: