Solving the VLSI problem using various combinatorial optimization technologies
optimization
constraint-programming
sat-solver
smt-solver
combinatorial-optimization
mixed-integer-programming
strip-packing
-
Updated
Oct 25, 2022 - SMT