3 ms·
This is the tableau they're talking about: https://en.wikipedia.org/wiki/Method_of_analytic_tableaux https://en.wikipedia.org/wiki/Method_of_analytic_tableaux
by _raoulcousins 9y ago
This is the tableau they're talking about: https://en.wikipedia.org/wiki/Method_of_analytic_tableaux https://en.wikipedia.org/wiki/Method_of_analytic_tableaux
- nl 9y agoHa. Thanks. I should have read the paper, not just jumped to the Github link.