Awards

• MapleCOMSPS won the silver medal in the SAT Competition 2017 Main track and No-limits track.
• SAT 2017 best student paper honourable mention award for our paper An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate.
• MapleCOMSPS won the gold medal in the SAT Competition 2016 Main track and silver medal in the Application category.
• MapleCOMSPS_LRB won the gold medal in the SAT Competition 2016 Application category.
• SPLC 2015 best paper award for our paper SAT-based Analysis of Large Real-world Feature Models is Easy.
• SAT 2014 best student paper award for our paper Impact of Community Structure on SAT Solver Performance.