Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment

Proceedings of the Hawaii International Conference on System Sciences

Volumn , Issue , 1999, Pages 118-

  Mencer, Oskar ^a   Platzner, Marco ^a  

^a STANFORD UNIVERSITY   (United States)

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

References (0)