Mr4thDimention

FATSAT: SAT Solver Algorithm Acceleration

Mr4thDimention's Most Recent 15 Streams

Past stream logs

Download CSV
  • FATSAT: SAT Solver Algorithm Acceleration
    - streamed for 1 hour
    18
    avg viewers
    24
    peak viewers
  • FATSAT: SAT Solver Algorithm Acceleration
    - streamed for 2 hours
    18
    avg viewers
    26
    peak viewers
  • FATSAT: Higher Level Constraint Structuring
    - streamed for 6 hours
    34
    avg viewers
    49
    peak viewers
  • Research: Windows vs Linux, Linking & Loading
    - streamed for 4 hours
    42
    avg viewers
    58
    peak viewers
  • Story Engine: Non-Deterministic Virtual Machine
    - streamed for 2 hours
    23
    avg viewers
    30
    peak viewers
  • Digital Signal Processing
    - streamed for 2 hours
    24
    avg viewers
    33
    peak viewers
  • Writing a SAT Solver
    - streamed for 4 hours
    23
    avg viewers
    34
    peak viewers
  • Story Engine: Designing the Story Virtual Machine
    - streamed for 4 hours
    33
    avg viewers
    44
    peak viewers
  • SAT Solver: Converting SAT to CNF-SAT
    - streamed for 4 hours
    28
    avg viewers
    40
    peak viewers
  • Story Engine, Graph Modeling Experiments
    - streamed for 3 hours
    30
    avg viewers
    41
    peak viewers
  • Code Reading, Understanding MiniSAT
    - streamed for 5 hours
    19
    avg viewers
    28
    peak viewers
  • Story Engine, Fancy String Upgrades
    - streamed for 3 hours
    22
    avg viewers
    31
    peak viewers
  • Story Engine, Fancy String Upgrades
    - streamed for 3 hours
    37
    avg viewers
    47
    peak viewers
  • Hanging Out Writing Interactive Fiction
    - streamed for 3 hours
    15
    avg viewers
    23
    peak viewers
  • Story Engine, Story Graph Stack
    - streamed for 2 hours
    34
    avg viewers
    44
    peak viewers