Unit propagation

procedure of automated theorem proving

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

Categorías:

resolution