No label defined (Q4989407)
From MaRDI portal
scientific article; zbMATH DE number 7350778
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7350778 |
Statements
25 May 2021
0 references
DRAT
0 references
extension
0 references
pigeonhole principle
0 references
proof logging
0 references
propagation redundancy
0 references
propositional proofs
0 references
resolution
0 references
satisfiability
0 references
0 references
0 references
