Unit propagation

procedure of automated theorem proving

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

Катэгорыі:

resolution