• Home
  • Unit propagation

Unit propagation

procedure of automated theorem proving

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

Categorie:

resolution