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

Original language	English
State	Published - Nov 30 2011

Keywords

@misc{37e9f91cb00b4dd79a04af14a15938a7,

title = "IMPLEMENTATION OF BOOLEAN SATISFIABILITY WITH NON-CHRONOLOGICAL BACKTRACKING IN RECONFIGURABLE HARDWARE",

keywords = "computers/software",

author = "Pranav Ashar and Margaret Martonosi and Peixin Zhong and Sharad Malik",

year = "2011",

month = nov,

day = "30",

language = "English",

type = "Patent",

}