Solving satisfiability problems using logic synthesis and reconfigurable hardware

Proceedings of the Hawaii International Conference on System Sciences

Volumn 7, Issue , 1998, Pages 179-186

  Suyama, Takayuki ^a   Yokoo, Makoto ^a   Sawada, Hiroshi ^a  

^a NTT Communication Science Laboratories   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; ELECTRIC NETWORK ANALYSIS; ELECTRIC NETWORK SYNTHESIS; HEURISTIC METHODS; LOGIC GATES; LOGIC PROGRAMMING; PROBLEM SOLVING;

FIELD PROGRAMMABLE GATE ARRAY (FPGA); HIGH LEVEL LOGIC SYNTHESIS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0031606596     PISSN: 10603425     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)