Conflict Driven Clause Learning (Q17008878)
Jump to navigation
Jump to search
SAT solving algorithm
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Conflict Driven Clause Learning |
SAT solving algorithm |
Statements
1996
0 references
Conflict-driven clause learning algorithm
0 references
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki Conflict-driven clause learning
- huwiki Konfliktusvezérelt klóztanulás
- ruwiki Алгоритм CDCL