Unit propagation

procedure of automated theorem proving

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

Catégories :

resolution