Efficient SAT-Based Circuit Initialization for Larger Designs.

Matthias Sauer Sven Reimer Sudhakar M. Reddy Bernd Becker

Published in: VLSI Design (2014)

Keyphrases

database
high speed
cost effective
computationally expensive
optimal solution
computationally efficient
answer set programming