1: Almost 2-SAT is Fixed-Parameter Tractable 2: Fast Integer Multiplication using Modular Arithmetic 3: Minimum Leaf Out-branching and Related Problems 4: A Nearly Linear-Time PTAS for Explicit Fractional Packing and Covering Linear Programs