Testing Assignments to Constraint Satisfaction Problems

preview_player
Показать описание
Matt Valeriote, McMaster University
{Symmetry, Logic, Computation}
Рекомендации по теме