ANDREI-60: AUTOMATED NEW-ERA DEDUCTIVE REASONING EVENT IN IBERIA
TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: CKR
C
constraint satisfaction
CSP
K
Kelly-Ulam conjecture
R
reconstruction conjecture
reconstruction of CSP instances