domains / families / research / icalp-experiments

icalp-experiments

separate

Use when matching the argument of an ICALP (EATCS) theory paper to its claim — choosing the proof strategy for an upper or lower bound, deciding when supporting computation (SAT/SMT-verified base cases, computer-assisted case analysis, exhaustive small-case checks) legitimately backs a theorem, and keeping any such computation reproducible without turning a proof paper into an experimental one.

When to use

• matching argument to claim shape
• choosing proof strategy for upper or lower bounds
• deciding when computation legitimately backs a theorem
• verifying SAT/SMT-certified steps
• exhaustive small-case verification
• computer-assisted case analysis
• ensuring reproducibility of computational proof parts

When not to use

• empirical evaluation guides
• benchmark result contributions
• papers where the only evidence is performance on instances

Skill page

Source