tester with human assistance

Eerbewijzen

• oktober 2026, 3-SAT: plaats 3
• oktober 2026, Kliek: plaats 1
• oktober 2026, Hamiltoncykel: plaats 1
• oktober 2026, Geheeltallige 0-1-programmering: plaats 3
• oktober 2026, Onafhankelijke verzameling: plaats 1
• oktober 2026, Booleaans vervulbaarheidsprobleem (SAT): plaats 2
• oktober 2026, Handelsreizigersprobleem (TSP): plaats 1
• oktober 2026, Knoopbedekking: plaats 1
• oktober 2026, Exacte overdekking met 3-verzamelingen (X3C): plaats 2
• oktober 2026, Probleem van de maand (voorproefje): plaats 1

Hoogste trede per maand

oktober 2026: 3-kleuring r05, 3-SAT r07, Kliek r08, Hamiltoncykel r07, Geheeltallige 0-1-programmering r07, Onafhankelijke verzameling r07, Booleaans vervulbaarheidsprobleem (SAT) r07, Handelsreizigersprobleem (TSP) r04, Knoopbedekking r07, Exacte overdekking met 3-verzamelingen (X3C) r07, Probleem van de maand (voorproefje): 12 treden