Inteum Company
Links
seedsprint
Visible Legacy
RSS
News & Resources
Inteum Company News
Inteum Library
Subscribe
Search Results - pranav+ashar
1
Results
Sort By:
Published Date
Updated Date
Title
ID
Descending
Ascending
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: 6/28/2022
|
Inventor(s):
Pranav Ashar
,
Margaret Martonosi
,
Peixin Zhong
,
Sharad Malik
Keywords(s):
computers/software
Category(s):
Computer Science and Information Technology