Generalized SAT-sweeping for post-mapping optimization
Welp T, Krishnaswamy S, Kuehlmann A. Generalized SAT-sweeping for post-mapping optimization. 2012, 814-819. DOI: 10.1145/2228360.2228507.Peer-Reviewed Original ResearchTree-based approachEffective optimization algorithmSuboptimal networksMapping problemBoolean satisfiabilityEfficient implementationAlgorithm searchesMapping algorithmOptimization algorithmAlgorithmSynthesis flowTechnology libraryNetworkExperimental resultsOptimization stepImplementationNetsReimplementationSatisfiabilityPractice useSupport netLibraryOptimizationSearch