• Home
  • Unit propagation

Unit propagation

procedure of automated theorem proving

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

Categorieën:

resolution