information about Unit propagation field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Solver 64.2k papers | Satisfiability 7,207 papers | Boolean satisfiability problem 4,978 papers | |
| Current | |||
Unit propagation papers | |||
| Child | |||
Trends
Notes
History
| Parent | |||
|---|---|---|---|
Solver 64.2k papers | Satisfiability 7,207 papers | Boolean satisfiability problem 4,978 papers | |
| Current | |||
Unit propagation papers | |||
| Child | |||