Semi-Tensor Product-Based Exact Synthesis for Logic Rewriting
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2023.3337279
Abstract: Boolean satisfiability (SAT)-based exact synthesis has made significant progress in recent years, particularly in logic rewriting for the identification of potential subnetwork replacements. However, existing rewriting algorithms suffer from two major drawbacks: 1) inflexibility due… read more here.
Keywords: based exact; semi tensor; logic; exact synthesis ... See more keywords
ℓ1–2-norm regularized basis pursuit seismic inversion based on exact Zoeppritz equation
Sign Up to like & getrecommendations! Published in 2024 at "GEOPHYSICS"
DOI: 10.1190/geo2022-0336.1
Abstract: Sparsity constraints have been widely adopted in the regularization of ill-posed problems to obtain subsurface properties with sparseness feature. However, the target parameters are generally not sparsely distributed, and sparsity constraints lead to results that… read more here.
Keywords: based exact; zoeppritz equation; exact zoeppritz; inversion ... See more keywords