Unit propagation

procedure of automated theorem proving

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

Kategorien:

resolution