Modelling digital circuits problems with set constraints

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 414-428

  Azevedo, Francisco ^a   Barahona, Pedro ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

CARDINALITIES; CONSTRAINT LOGIC PROGRAMMING; DIAGNOSTIC PROBLEM; DIGITAL SIGNALS; OPTIMISATIONS; ORDERS OF MAGNITUDE; PROBLEM SOLVERS; SET CONSTRAINTS; SET VARIABLES; SPECIFIC TOOL;

COMPUTER AIDED DESIGN;

LOGIC PROGRAMMING;

EID: 84867827512     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_28     Document Type: Conference Paper

References (1)

1. BOOKSERIES-VOLUME-conf-120469-77460999-1861-1of1-29