domains / families / research / icdt-experiments

icdt-experiments

separate

Use when deciding what counts as evidence for an ICDT (International Conference on Database Theory) result — matching-bound complexity analysis as the primary evidence, worked examples and counterexamples that establish separations, and, only for papers with an algorithmic contribution, a proportional and honestly-scoped experimental evaluation that does not pretend to be the contribution.

When to use

• deciding evidence for ICDT results
• matching-bound complexity analysis
• worked examples and counterexamples
• separations
• proportional experimental evaluation
• algorithmic contribution evaluation

When not to use

• systems-style experiment sections on theorem papers
• pretending experiments are the contribution
• papers where the experiment is the contribution

Skill page

Source