tech,31-2-E06-1004,ak | some of the fundamental problems of <term> | SMT | </term> . Our work aims at providing useful | #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 . |