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