306 search results - page 62 / 62 » Underspecified computation of normal forms |
125
Voted
ESA
2009
Springer
15 years 9 months ago
2009
Springer
We study a special class of binary trees. Our results have implications on Maker/Breaker games and SAT: We disprove a conjecture of Beck on positional games and construct an unsati...