A Satisfying Result: Formulating a decades-old geometric conjecture as a satisfiability problem opened the door to its final resolution.
| Autor: | Monroe, Don1 |
|---|---|
| Zdroj: | Communications of the ACM. May2021, Vol. 64 Issue 5, p10-12. 3p. 1 Diagram. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|