pubs: Convert to UTF-8

abscover: Convert to UTF-8

Fixed the definition of edge density in Chapter 3.1.

(infimum replaced by supremum; maybe lim sup would be even
better, but the difference does not matter in our applications)

Fixed usage of \em in mjalpha.bst

In the definiton of the soft queue, we should better explicitly mention that
both sons always keep the same rank.

Finished the revised version.

More fixes to bugs reported by Patrice.

Corrected bugs reported by Koubek.

Minor fixes to chapters 3 and 6.

Fixes to Chapter 2.

TODO.

Fixes to Chapter 1.

More TODO.

Written a new TODO list.

Hopefully final.

Slides v0.0.

Fixed typos.

Fixed missing ref.

Formatting the list of publications.

Cleanups.

Cover of the abstract.

Abstract: Minor typographic details.

The great split.

Font macros are now stored separately, because we need 12pt fonts in the
saga and 10pt in the abstract. Also split off the list of publications
from the abstract.

Abstract: Final fixes.

More shortening.

List of publications.

Pruning...

Abstract: Minor improvements.

Abstract: added Conclusions and reviewed chapters 1--5.

Fixed a typo in the comment about vEBT's.

Unify typesetting of #P-completeness.

Abstracted the chapter on ranks.

More abstract art.

Fixes to the abstract.

\alpha -> \timesalpha

Abstract: two more chapters.

Iterative Jarnik's alg. is correctly spelled Iterated.

More of the abstract. Reached the end of Chapter 2.

Defined \rawsection and made \section use it.

First bits of the abstract.

Forgotten mjalpha.bst.

Clarify notation.

Final final fixes to bibliography.

Yet more fixes to bibliography.

Noted that all logs are binary.

Updated the release date.

PLAN--

Final typograpic hacks.

section -> Section (fix remaining).

Final typesetting: Chapters 1 and 2.

Kruskal.

Fixed online references.

Yet more fixes to bibliography.

Bibliography: Next round of corrections.

First part of corrections of bibliography.

Removed most refs from the Epilogue.

References to better bounds for enforced minors.

Unified typesetting of complexity classes.

Round to an even number of pages at the end.

Corrections: Cover.

More corrections to Appendix A.

Corrections: Appendix A.

Corrections: Epilogue.

Corrections: The rest of Chapter 7.

Corrections: Sections 7.1--7.4.5.

Corrections: Chapter 6.

Corrections: The rest of Chapter 5.

Updated PLAN.

Corrections to Sections 5.1--5.2.

Corrections: Chapter 4.

Corrections: Chapter 3.

Corrections: Chapter 2.

Corrections: Chapter 1.

Added generated EPS.

Corrections to K-best.

Corrections of the K-best section.

Connect K best to the introductory chapters.

Finished K best.

First parts of the section on Almost minimum trees.

A picture of a Q-heap.

Added a picture of a q-heap trie.

WARNING: Vrr fails to save this. Manual editation needed.

Added the Epilogue.

Corrections of the Preface.

Larger cover letters.

Finished prolog.

More of the prolog.

Parts of preface.

Added Edge removal lemma.

Updated PLAN.

Cleaned up contractions.

Fixed Greek alphabetical order.

Improved the cover page.

Sorted the table of symbols.

Spelling checker strikes again.

More conservative spelling.

Ensure vertical space before start of a section.

Fix overflowing lines.

The title page.

Page numbers.

Odd-even wobbling.