domains / families / research / ijoc-theory-development

ijoc-theory-development

separate

Use when the algorithm or model formulation, its correctness, and its theoretical guarantees are the bottleneck for an INFORMS Journal on Computing (IJOC) manuscript. Pins down formulation, complexity, and what the method provably does before experiments are finalized; it does not run the experiments.

When to use

• algorithm or model formulation
• correctness and theoretical guarantees
• validity of cuts, columns, or relaxations
• complexity, convergence, or approximation ratio
• theoretical scaffolding for heuristics or ML methods
• defining learning tasks and loss functions
• specifying simulation models and estimators
• proving finite termination or unbiasedness

When not to use

• running experiments
• finalizing experiments

Skill page

Source