The dead-end elimination theorem: mathematical aspects, implementation, optimizations, evaluation, and performance (Q45872529)
Jump to navigation
Jump to search
scientific article published in January 2000
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The dead-end elimination theorem: mathematical aspects, implementation, optimizations, evaluation, and performance |
scientific article published in January 2000 |
Statements
1 reference
The dead-end elimination theorem: mathematical aspects, implementation, optimizations, evaluation, and performance (English)
1 reference
De Maeyer M
1 reference
Desmet J
1 reference
Lasters I
1 reference
1 January 2000
1 reference
1 reference
143
1 reference
265-304
1 reference
Identifiers
1 reference