Unit propagation

procedure of automated theorem proving

en-US/ˈjunət ˌpɹɑpəˈɡeɪʃən/
en-GB/ˈjuːnɪt ˌpɹɒpəˈɡeɪʃən/

دسته بندی ها:

resolution