domains / families / research / soda-artifact-evaluation

soda-artifact-evaluation

separate

Use when deciding how code, computations, or data attach to a SODA (ACM-SIAM Symposium on Discrete Algorithms) paper — SODA itself runs no artifact track, so this skill covers computer-assisted proof evidence, implementation companions, and when to route the artifact to co-located ALENEX's formal artifact evaluation instead.

When to use

• deciding how code, computations, or data attach to a SODA paper
• computer-assisted proof evidence
• implementation companions
• routing artifact to co-located ALENEX's formal artifact evaluation

When not to use

• SODA artifact track

Skill page

Source