Login / Signup

Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML.

Yong Kiam TanMarijn J. H. HeuleMagnus 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