SAT as a Programming Environment for Linear Algebra (Q3008109)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SAT as a Programming Environment for Linear Algebra |
scientific article |
Statements
SAT as a Programming Environment for Linear Algebra (English)
0 references
14 June 2011
0 references
satisfiability
0 references
linear algebra
0 references
orthogonal matrices
0 references
orthogonal groups
0 references
declarative programming
0 references
