tech,8-2-E06-1004,ak | Over the last decade , a variety of <term> | SMT algorithms | </term> have been built and empirically | #10901 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. |