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