Repository navigation

docs: ASAPPlanner memo-based joint optimization with MILP - #776

Merged

zzylol merged 53 commits into

mainfrom

docs/joint-planning-search

Oct 24, 2026

Merged

docs: ASAPPlanner memo-based joint optimization with MILP#776
zzylol merged 53 commits into
mainfrom
docs/joint-planning-search

Commits on Oct 20, 2026
Commits on Oct 22, 2026
Commits on Oct 23, 2026
- docs: name coefficient derivation, solution decoding and incumbent evaluation apart; one solution decodes to one plan
  zzylol
  committed
  022f30c
- docs: name the MILP lower bound and the report's milp fields
  zzylol
  committed
  2f961b1
- docs: sharing as MQO, NP-hardness, solution families, LBBD algorithm
  zzylol
  committed
  8ed66a7
- Update joint-planning-search.md
  zzylol
  authored
  c8400cf
- docs: rewrite joint planning as memo group and MILP design
  zzylol
  committed
  12bb072
- docs: align memo MILP proposal with planner stages and current architecture
  zzylol
  committed
  570beec
- docs: focus memo MILP proposal into eight sections
  zzylol
  committed
  8fc5062
- docs: call shared producer roles producer inputs
  zzylol
  committed
  0f6b9e9
- docs: separate MILP variables and constraints
  zzylol
  committed
  8acc8d1
- docs: represent shared intermediate states as memo groups
  zzylol
  committed
  598f614
- docs: explain traditional memo logical and physical rule expansion
  zzylol
  committed
  177ff8f
- docs: lead memo design with motivation and challenges
  zzylol
  committed
  f2008ec
- docs: explain ASAP memo groups through staged rule expansion
  zzylol
  committed
  8418f53
- docs: call per-computation KLL candidates local
  zzylol
  committed
  daad379
- docs: extract window and materialization choices design
  zzylol
  committed
  161dfef
- docs: select physical instances within memo groups
  zzylol
  committed
  8005d2f
Commits on Oct 24, 2026
- docs: frame joint planning as covering queries with an execution DAG
  zzylol
  committed
  4304de0
- docs: state the optimization problem before the proposed solution
  zzylol
  committed
  9f94389
- Update joint-planning-search.md
  zzylol
  authored
  b400fa0
- Update joint-planning-search.md
  zzylol
  authored
  28e5081
- docs: clarify shared decision and instance terminology
  zzylol
  committed
  07e44ce
- docs: clarify instance notation and shared resource charges
  zzylol
  committed
  436a04e
- docs: simplify memo design to candidate selection and connections
  zzylol
  committed
  ad24a0e
- docs: explain memo optimization through examples and design rationale
  zzylol
  committed
  7832eb7
- docs: illustrate physical selection and shared cost accounting
  zzylol
  committed
  fdd0aee
- docs: explain candidate dependencies and unify resource cost ownership
  zzylol
  committed
  ea64990
- docs: name producer requirements and consumer connections consistently
  zzylol
  committed
  c44b930
- docs: define topological rank variables and acyclicity constraint
  zzylol
  committed
  6bc8c25
- docs: distinguish shared cost ownership from execution frequency
  zzylol
  committed
  c6581a2
- docs: model execution demand from selected producer connections
  zzylol
  committed
  e6f4666
- docs: define auxiliary variable indices semantics and examples
  zzylol
  committed
  0b0bc85
- docs: clarify query evaluation event terminology
  zzylol
  committed
  386d13b
- docs: specify feasibility and resource constraints for joint optimization
  zzylol
  committed
  8933389
- docs: motivate workload pattern and repeated query optimization
  zzylol
  committed
  633e165
- docs: add workload-specific planning and execution expectations
  zzylol
  committed
  ea290e9
- docs: enumerate planner benchmark metrics
  zzylol
  committed
  30edb3c

Commits

Commits on Oct 20, 2026

Commits on Oct 22, 2026

Commits on Oct 23, 2026

Commits on Oct 24, 2026