Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution (Q1581851)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution |
scientific article; zbMATH DE number 1515409
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution |
scientific article; zbMATH DE number 1515409 |
Statements
Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution (English)
0 references
10 October 2000
0 references
binary resolution proof
0 references
binary tree
0 references
surgery
0 references
splay
0 references