The Association for the Advancement of Artificial Intelligence recognized our paper, “Using CSP Look-Back Techniques to Solve Real-World SAT Instances” as the 2015 AAAI Classical Paper Award Honorable Mention due to the level of deep research and development expertise that help drive our big data analytics. Click here to view a PDF of the paper