Hasil Pencarian - Cezar-Constantin Andrici

  • Menampilkan 1 - 2 hasil dari 2
Perbaiki Hasil
  1. 1
    Verifying the DPLL Algorithm in Dafny

    Verifying the DPLL Algorithm in Dafny oleh Cezar-Constantin Andrici, Ştefan Ciobâcă

    Diterbitkan 2019-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    A Verified Implementation of the DPLL Algorithm in Dafny

    A Verified Implementation of the DPLL Algorithm in Dafny oleh Cezar-Constantin Andrici, Ștefan Ciobâcă

    Diterbitkan 2022-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: