Accelerating SAT-based boolean matching for heterogeneous FPGAS using one-hot encoding and CEGAR technique

Computer Science

• Booleans 100%
• One-Hot Encoding 100%
• Algorithms 33%
• Speed-up 33%
• Input Assignment 33%
• Boolean Constraint Propagation 33%
• Input Function 33%
• Binary Encoding 33%