Normal view
MARC view
Logic, Symbolic and mathematical (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Živný, Stanislav 1339, The Complexity of Valued Constraint Satisfaction Problems, 2012