tech,31-2-E06-1004,ak | Over the last decade , a variety of <term> SMT algorithms </term> have been built and empirically tested whereas little is known about the <term> computational complexity </term> of some of the fundamental problems of <term> SMT </term> . | #10924 Over the last decade, a variety of SMT algorithms have been built and empirically tested whereas little is known about the computational complexity of some of the fundamental problems of SMT . |