Timeline for Application of Combinatorics, Logic and computability theory in physical science: Tiling of Wang Tile with proportionality
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 11, 2014 at 22:11 | comment | added | András Salamon | SMT solvers also avoid the exponential blowup by representing range constraints implicitly, as do constraint solvers. But combinatorial optimization problems of this kind are generally hard for all existing solvers. | |
| Apr 11, 2014 at 5:19 | comment | added | D.W.♦ | Yup. Or, use ILP. | |
| Apr 11, 2014 at 2:49 | vote | accept | user40780 | ||
| Apr 11, 2014 at 2:38 | history | answered | Kyle Jones | CC BY-SA 3.0 |