“…Finally, we would like to mention that the use of GPU architectures has shown its advantages in several other bioinformatics applications, such as computational proteomics (Hussong, Gregorius, Tholey, & Hildebrandt, 2009), DNA sequencing (Schatz, Trapnell, Delcher, & Varshney, 2007) and molecular docking (Sukhwani & Herbordt, 2009), as well as in the context of CP and SAT solving (Campeotto, Dovier, Fioretto, & Pontelli, 2014;Dal Palù, Dovier, Formisano, & Pontelli, 2014).…”