Connections and integration with SAT solvers: A survey and a case study in computational biology (2010)

by F Corblin, L Bordeaux, E Fanchon, Y Hamadi, L Trilling
Venue:In Hybrid Optimization: the 10 years of CPAIOR