Constraint solving over multi-valued logics - Application to digital circuits

AI Communications

Volumn 16, Issue 2, 2003, Pages 125-127

  De Moura, Francisco ^a   De Azevedo, Castro Ascensão ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DIGITAL CIRCUITS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; PROBLEM SOLVING;

CONSTRAINT SOLVING;

MANY VALUED LOGICS;

EID: 0038002773     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (0)