Search Results - peixin+zhong

1 Results Sort By:

IMPLEMENTATION OF BOOLEAN SATISFIABILITY WITH NON-CHRONOLOGICAL BACKTRACKING IN RECONFIGURABLE HARDWARE

Researchers at Princeton University have developed a novel method for implementing formula-specific Boolean Satisfiability solver circuits in configurable hardware. Princeton is currently seeking industrial collaborators to commercialize this technology. As the complexity of designing electronic systems increases, the effectiveness and efficiency...
Published: 11/30/2011   |   Inventor(s): Pranav Ashar, Margaret Martonosi, Peixin Zhong, Sharad Malik
Keywords(s): computers/software
Category(s): Computers and Software