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

Pranav Ashar (Inventor), Margaret Martonosi (Inventor), Peixin Zhong (Inventor), Sharad Malik (Inventor)

Research output: Innovation

Fingerprint Dive into the research topics of 'IMPLEMENTATION OF BOOLEAN SATISFIABILITY WITH NON-CHRONOLOGICAL BACKTRACKING IN RECONFIGURABLE HARDWARE'. Together they form a unique fingerprint.

Engineering & Materials Science