SMT-COMP: Satisfiability modulo theories competition

Clark Barrett, Leonardo De Moura, Aaron Stump

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'SMT-COMP: Satisfiability modulo theories competition'. Together they form a unique fingerprint.