Functions of multiple−valued logic and the complexity of constraint satisfaction: A short survey

Bibliographic Details
Main Authors: Krokhin, A, Bulatov, A, Jeavons, P
Format: Conference item
Published: 2003