No label defined (Q4262997)
From MaRDI portal
scientific article; zbMATH DE number 1341458
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1341458 |
Statements
22 September 1999
0 references
regular SAT
0 references
Regular-GSAT
0 references