Login / Signup
Transistor Placement for Automatic Cell Synthesis through Boolean Satisfiability.
Maicon Schneider Cardoso
Andrei A. O. Bubolz
Jordi Cortadella
Leomar Rosa
Felipe S. Marques
Published in:
ISCAS (2020)
Keyphrases
</>
boolean satisfiability
boolean optimization
sat solvers
branch and bound algorithm
sat problem
sat solving
probabilistic planning
randomly generated
symmetry breaking
integer linear programming
constraint satisfaction problems
phase transition
combinatorial problems
lower bound
max sat