Unit propagation (Q1307834)
Jump to navigation
Jump to search
procedure of automated theorem proving
- UP
- Boolean Constraint propagation
- BCP
- one-literal rule
- OLR
Language | Label | Description | Also known as |
---|---|---|---|
English | Unit propagation |
procedure of automated theorem proving |
|
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- dewiki Einheitsresolution
- enwiki Unit propagation
- frwiki Propagation unitaire
- huwiki Egységszaporítás
- nlwiki One-literal rule