Unit propagation

procedure of automated theorem proving

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

ক্যাটাগরি:

resolution