C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML.
Yong Kiam Tan
Marijn J. H. Heule
Magnus O. Myreen
Published in:
Int. J. Softw. Tools Technol. Transf. (2023)
Keyphrases
</>
sat solvers
multiple description coding
database
search engine
bayesian networks
objective function
multiresolution
wave propagation
multiscale
artificial neural networks