Date: 2018-09-27 16:37:21Theoretical computer science Computability theory Computational complexity theory Theory of computation Constructivism Fourier analysis Formal methods Computable number Computable analysis Computable function NC Modulus of continuity | | δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete deAdd to Reading ListSource URL: scungao.github.ioDownload Document from Source Website File Size: 323,30 KBShare Document on Facebook
|