|
Volumn , Issue , 1999, Pages 118-
|
Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment
a
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTATIONAL COMPLEXITY;
COMPUTER HARDWARE;
FINITE AUTOMATA;
ABSTRACT ONLY;
BOOLEAN SATISFIABILITY PROBLEMS;
FINITE STATE MACHINES;
RECONFIGURABLE COMPUTING;
OBJECT ORIENTED PROGRAMMING;
|
EID: 0032760882
PISSN: 10603425
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (15)
|
References (0)
|