Massively-parallel easily-scalable satisfiability solver using reconfigurable hardware

Proceedings - Design Automation Conference

Volumn , Issue , 1999, Pages 684-690

  Abramovici, Miron ^a   de Sousa, Jose T ^a   Saab, Daniel ^a  

^a NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED LOGIC DESIGN; COMPUTER ARCHITECTURE; COMPUTER HARDWARE; ITERATIVE METHODS;

MASSIVELY-PARALLEL EASILY-SCALABLE SATISFIABILITY SOLVERS; RECONFIGURABLE HARDWARES;

PARALLEL PROCESSING SYSTEMS;

EID: 0032630145     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (25)